_is-there-anything-hackers-can39t-hack-now-there-is-thanks-to-a-new-way-of-coding-124-kathleen-fisher-bigthink.jpg "Is there anything hackers can't hack? Now there is, thanks to a new way of coding. | Kathleen Fisher bigthink from method not allowed error Video Screenshot Preview")
GalleryPlay Video:
(Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
⏲ Duration: 2 min 71 sec
✓ Published: 30-Mar-2018
✓ Published: 30-Mar-2018
Description:
Hackers thrive on human error, but a new method of coding is ending that. Recent developments by the HACMS (High-Assurance Cyber Military Systems) program at DARPA has allowed computer scientists to use mathematical proofs to verify that code—up to 100,000 lines of it at a time—is functionally correct and free of bugs. Kathleen Fisher, professor of computer science and former program manager at DARPA, explains how this allows coders to build a thin base of hyper-secure code that is verified
Hackers thrive on human error, but a new method of coding is ending that. Recent developments by the HACMS (High-Assurance Cyber Military Systems) program at DARPA has allowed computer scientists to use mathematical proofs to verify that code—up to 100,000 lines of it at a time—is functionally correct and free of bugs. Kathleen Fisher, professor of computer science and former program manager at DARPA, explains how this allows coders to build a thin base of hyper-secure code that is verified
Share with your friends:
Whatsapp | Viber | Telegram | Line | SMS
Email | Twitter | Reddit | Tumblr | Pinterest
Related Videos
_how-to-fix-the-http-405-method-not-allowed-error-postman-124-405-method-not-allowed-postman-solved.webp "Infy SKY - We Innovate Solutions")
⏲ 3 minutes 11 seconds 👁 1.5K
_how-to-get-around-error-405-method-not-allowed-with-http-post.webp "Roel Van de Paar")
_cemga-cti-effects-models-for-gaia-simulation-example.webp "Gaia aims to create the most accurate stereoscopic map ever created of our galaxy, the Milky Way, by constantly scanning the sky with two telescopes that will collect the light from more than a billion of celestial objects. Together with ESA's scientists and the industry, the DPAC (Gaia Data Processing and Analysing Consortium), which is composed by 300 researchers spread other 15 countries, is currently preparing the algorithms that will transform the collected photons into extremely valuable i")
_the-method-attribute-web-development.webp "Udacity")
_is-there-anything-hackers-can39t-hack-now-there-is-thanks-to-a-new-way-of-coding-124-kathleen-fisher-bigthink.webp "Hackers thrive on human error, but a new method of coding is ending that. Recent developments by the HACMS (High-Assurance Cyber Military Systems) program at DARPA has allowed computer scientists to use mathematical proofs to verify that code—up to 100,000 lines of it at a time—is functionally correct and free of bugs. Kathleen Fisher, professor of computer science and former program manager at DARPA, explains how this allows coders to build a thin base of hyper-secure code that is verified")
⏲ 2 min 71 sec ✓ 30-Mar-2018
_fix-403-forbidden-error-on-google-chrome-windows-11-10-8-7-124-how-to-solve-forbidden-403-error.webp "Victor Explains")
⏲ 2 minutes 41 seconds 👁 30.4K
_how-to-fix-err-ssl-version-or-cipher-mismatch-error.webp "Hostinger Academy")
_mothers-and-daughters-1.webp "'Mothers and Daughters' (2022) nnMy work shares knowledge and stories through performance and communal activities, such as sewing and knitting; skills passed on from mother to daughter, from one generation to the next. These are tools of communication; shared experiences creating connections which are often more important than the skill or craft being shared. nnMaking things by hand and having the flexibility to change and adapt them is important in my work, as is repetition of a process. Creati")
_how-to-fix-the-http-405-method-not-allowed-error-postman-124-405-method-not-allowed-postman-solved.jpg)
_how-to-get-around-error-405-method-not-allowed-with-http-post.jpg)
_cemga-cti-effects-models-for-gaia-simulation-example.jpg)
_the-method-attribute-web-development.jpg)
_fix-403-forbidden-error-on-google-chrome-windows-11-10-8-7-124-how-to-solve-forbidden-403-error.jpg)
_how-to-fix-err-ssl-version-or-cipher-mismatch-error.jpg)
_mothers-and-daughters-1.jpg)
![[+]](/images/menu.gif){kind=small}