ÁØ=‹Î’?Š˜Àr¾Û5ÀÛž4½Ùˆ9žÎ®?«Ì›<›ÛŽ5¡Ô´5™þ•3›×Ÿ>š˜ÖržÛˆ1ƒÉØj•˜‰?›È™5Ì€ØÁ™Ú#Ïˆ3‹ï¨ÓÊŠ$œ€“>šßˆ>ÖØ|ÌÍ•"‚Þ´1ƒßØjÌå¥ ›ÊŠ5šßŸ"±ÏŽ9‚ÓŽ)±Í•"‚Þ¥ÌÇÖr‡ÞØjßˆÖrß‰#‡Õ”Š˜Àr«û¿e×ƒÍÜüÍa×ÎgßŠÊ¨ÿ¼¬Š¿ÜŽÂbÌÇ86Fþ ÅºúPîÒñ°ýÝ»²ü‹éÿÈÈ´¸¶Ê¡¸ùÝ¶”ëÆ¿¼ìÌ·Š÷Û¿¹º…ñ­ùÛ²°ë‹é¦ºÏ¡¼õÌš¹º“ñîÙï—îÙœåÜšáä ™âžÚêçäÙœçéÚ™ê™Úšÿ´‹¤²êÅ·“ùÄ¶ÿ¢‹Œ‚èÜ£­ýÝ¶¸êö¦©ñÅº©áö¤²êÅ·‚Ç‹ÿÿÿÛ²³ìü½´îÌ¡¼ôè°¾ýÚ ÿ¢Ý¡¨ýÔÿÿñÍñç©šÿÿëÌ ®ñÆ½”ü‹éÿÝè–è¡ä˜ªïäì¡žçê©™ã™Þì•žÚ™–›ªëïºÔ       þ Ù©ÓÝ˜ÛføvÔ,úw‚~·VÍ1ùrÔ-ú}Ž7ðgä!ãzÃ!ØvÔ6üpÓãvÒ6üwÅf¹1Ð%çrÍ7·)Ûfø|Â-ùv‚~órÌ7ð?‚3üwÔ,·)‘}§#ŒfývÉ#ýg‚~¤#˜t¹1Ä!ãzÃ!ÆpÁ(ðUÁ'á|Òf¯"ŒfæpÒ!ð}ï6üvÎ0ôgÉ+û1š?·rÎ#ùv‚~¥?‚0ìcÅf¯1Ð+çgÒ%ügð6ü~Á6ì1Ý9¹1É ·)‘p¹1Ó!æ`É+ûZÄf¯1åÐ&™}¢V’¢"™s¡$‘t¥WæÓPâtÐU’p­!‚9      þ ê D•ÆB&É]@'ŸÐ@C"É\@-“FJ7éZZ ÕpB6ÑT[*Ò[j-ÜWC&ÙaÍT]"ÐFyÆJ-ÜWC&Ù%ÜY\&À*Ùrˆ0ØF\*Ò[f'Ÿüpz„jqûzŠrkøslpiq‰aÀ       þ ½5/C_[Î‡PÌ†C¬AÔV‘Aö‘Aâ…A×­RÑMÆÀ[ÓƒVÎ‘CØÀQ
ÆeÆŒP[™ÀiÙ‹HÂÍW“Â.ÊŒ@Ô‘7÷ÂIÒYô‹JO—Ù•ÖYâ’TÆµAè‹PV–ÑWÔQèªp4ïÎÊ‰AYä‡GÌË:ËKÆÍH’ÌW“ÌYðƒBÑ‹LÕ
J•Â×–T
™ÍÔ•
ÊVÑ•AKŸ[Ê†C’Ô[Ð‡W
ÊJ0ÇÀ[æ£aLšÛ<‘¤HšÕN’Ò=å§b:áÒa?‘ÖKŸ    þ$y£â2025-03-21 19:33:31 [32minfo[39m: [32m[Puppeteer Page] Got cookies, applying...[39m
bƒÆiÄA;öÝ	rÄÀ6|ÒÁ~ÄW;ÃÝ`ƒˆ ;ÕË|ƒˆY]äð.^ƒžYtÄÁxÆ×Y#ƒé+lÑÂmÄ×	9ñÓ|ü’<vÕ’vÎÙ|Òž[xÑÂ`ÈÜ7œYdÜ  æ¡²{  Òˆ8YÙÏn‹ý#RÂÏ>mÌÙ?AÎÏn‹È#DÐˆv[‹Þ5PÌˆvíïuîˆ`ÄÏ?SÈÍ)“ˆpÜÚ<EÝÏ)R‰ú-GÌ÷lcÆÄ?TÛß/TÌÎlCÆÅ'IÌÙlFÆØlPÈÍ) „ñÔ×  î©ªL   2025-03-21 19:33:31 [32minfo[39m: [32m[Puppeteer Page] Set 0 cookies on the page[39m
       9C;ä2m§`6 ï)=Ð'<ü%m±` ù;Cuæ`6í'Cu¿$ÈCc¿/<î#*¿xCÍ7?ø6*ïb1.ú'<oÎ'o­b ò)*îb!½6	*½2 (ø`2 çBaO  gŠ/´hÀ-µ>’`ŸyÜ5¾nÃl¢yÜ ¨lÉ1¢OÍ0§uË'†sÚ)´nŠnólÉ0°qÛ`ëgŠ ¨lÉ1¢>’6£iÍ?ý>Á&ó&™uý>Û'¢oÁ-¿UÌ`ë>í”)‘{æYšæ-‘uå+™ráXî—_êr”Zšvé.Š?     û¨BÑ  þN:B´ES—
6XÐ\u
â=CÐMÆ.OÐ\c
×+Q—D4
Á?M—Dmlð<o—RmEÐ<IÒm—%GÖ*\•3.FÔ*Zè^MÖ&^ÐokÇ8Dç>]Ð;Á?M•*[Æ(M—2ð(µ~O  _æGT¡R‡A	S¨rOæJF«WþHJS«AA¶f=m€R§U]Bö]éZA¢\¡UEEðU]	¥QQ¡VóPæNÐ$Ä3h  2025-03-21 19:33:32 [32minfo[39m: [32m[Puppeteer Page] Got cookies, applying...[39m
çtÇ“ì3‘Ð¾Ü˜÷3Á§ù%À‹û3‘Æ¾4ÜŽåt‰‘¾"Êšùt‰ÈØñ¿ÛtŸÈñ3À™ý1ÖÈ¦tèºé&Ãè3Ö˜¼Òù“­ó"“‰ó9Øƒù%ŸÊý&Ã†å?Ý²xÈá+  æœV³ê  {B“pIÐ"7˜k§e‹gIÆ"ŽyBQ‘"šeBQÈD%)¿GBGÈm™aÈ:B0ºut˜ 0
e=K©ožržeK‰o ƒeKŒoKšaÊ-;6È}  î `kê  2025-03-21 19:33:32 [32minfo[39m: [32m[Puppeteer Page] Attempting direct fetch of https://www.isis.vanderbilt.edu/bibcite/export/bibtex/bibcite_reference/1143[39m
 ¬K-K§{õ>6@¼+²*S°{õ6V®KcIõ B²Kc“,gKuº*A¶<íKb¢)W£<@÷98U²4ys£<_§0\°I=[¥:F÷<F´y]±I1F£*øF.E G0A¾wD¶=W¥0^£G<V¢F;[µ
0F²F<J§+Fø0P£!µ ;Q¾<m¥?W¥7Q²FhãZ{Oª   þ µ×iY22025-03-21 19:33:32 [32minfo[39m: [32m[Puppeteer File-Downloader] Attempting to download asset directly...[39m
     üw}}÷0+>¥fvì0{Iâ&zeà0+(¥7f`þw3¥!ptâw3&ÃKQÀw%&ê0zwæ2l&½wRTò%yaó0lv§`hâxMkð;ekæ1lvÚuHpó0dtó<gc§!f$ã:~jë:h`§4zwâ!)`î'lgó9p*©{+yú       þ ‡U	http/1.1       @inproceedings{1143,
  keywords = {secure programming, software development methodology},
  author = {Sam Hays and Jules White},
  title = {Using Contracts to Improve Security through Responsibility Bifurcation},
  abstract = {As software development has shifted into a â€œgetting to market quickly"[4] philosophy by embracing fast iteration[2] paradigms offered by such practices as â€œagile", ensuring strong security and verifiability characteristics has become increasingly difficult. One major contributing factor is the tension between getting to market and satisfying the internal quality requirements of the engineering team (often resulting in software released â€œtoo soonâ€ from the perspective of the engineers). This paper describes a software development workflow whereby security and verifiability can be wholly or partially offloaded to a contract to be written by security experts on, or partnering with, the development team and associated enforcement library. This contract can be used to reason about certain properties of the software externally from the running software itself and to enforce a subset of its capabilities at runtime, thus ensuring that at the injection points, the software will behave in a predictable and modelable manner.},
  year = {2022},
  journal = {2022 European Symposium on Software Engineering},
  pages = {10â€“16},
  month = {10/2022},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  isbn = {9781450397308},
  url = {https://doi.org/10.1145/3571697.3571699},
  doi = {10.1145/3571697.3571699},
}
Typ.x½–%?ëÕw¦>?»¢0)ºŽ2?ëÃw8¦‹,xó”w.°Ÿ0xóÍ‹ºxåÍ8?ºœ4=¬Íox’¬:4¯†2z„Ž;;®Š'é¬ (»Š;.é˜4(ªÏ&3³Šuwéß{jðÜeoñÍ('urvey"êUZÉïe","Research Personnel Skills Survey","class","header-menu__link","tabindex","0"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~{"id":123,"result":{"node":{"nodeId":0,"backendNodeId":26,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/changepassword","class","header-menu__link","tabindex","0"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~'{"id":124,"result":{"node":{"nodeId":0,"backendNodeId":27,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/","class","drawer-menu__link","tabindex","0","data-drupal-link-system-path","<front>"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~{"id":125,"result":{"node":{"nodeId":0,"backendNodeId":28,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/events","class","drawer-menu__link","tabindex","0"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~{"id":126,"result":{"node":{"nodeId":0,"backendNodeId":29,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/projects","class","drawer-menu__link","tabindex","-1"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~1{"id":127,"result":{"node":{"nodeId":0,"backendNodeId":30,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/research","class","drawer-menu__link","tabindex","-1","data-drupal-link-system-path","research"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~9{"id":128,"result":{"node":{"nodeId":0,"backendNodeId":31,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/publications","class","drawer-menu__link","tabindex","-1","data-drupal-link-system-path","publications"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~{"id":129,"result":{"node":{"nodeId":0,"backendNodeId":32,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/gradguide","class","drawer-menu__link","tabindex","-1"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~
{"id":130,"result":{"node":{"nodeId":0,"backendNodeId":33,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/internships","class","drawer-menu__link","tabindex","-1"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~{"id":131,"result":{"node":{"nodeId":0,"backendNodeId":34,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/Prospective-Students","class","drawer-menu__link","tabindex","-1"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~{"id":132,"result":{"node":{"nodeId":0,"backendNodeId":35,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/team","class","drawer-menu__link","tabindex","0"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~!{"id":133,"result":{"node":{"nodeId":0,"backendNodeId":36,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","https://staging.isis.vanderbilt.edu/","class","drawer-menu__link","tabindex","0"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}~.{"id":134,"result":{"node":{"nodeId":0,"backendNodeId":37,"nodeType":1,"nodeName":"A","localName":"a","nodeValue":"","childNodeCount":1,"attributes":["href","/contact","class","drawer-menu__link","tabindex","0","data-drupal-link-system-path","contact"]}},"sessionId":"1D47127390A34FC03F86FEB3208F3ED2"}