_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
_405-method-not-allowed-124-how-to-fix-the-http-405-method-not-allowed-error-postman-solved-laravel.webp "Infy SKY - We Innovate Solutions")
⏲ 3 minutes 48 seconds 👁 10.9K
_avoiding-the-9234405-method-not-allowed9234-error-in-flask.webp "Pretty Printed")
_maya-keyframe-reduction.webp "Keyframe reduction for Maya using least-squares method.nnDOWNLOADnhttps://gum.co/maya-keyframe-reductionnnINSTALLATION n* Extract the content of the .rar file anywhere on disk.n* Drag the keyframeReduction.mel file in Maya to permanently install the script.nnUSAGEnA button on the MiscTools shelf will be created that will allow easy access to the ui, this way the user doesn't need to worry about any of the code. If user wishes to not use the shelf button the following commands can be used.nnThe u")
_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
_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")
_how-to-fix-error-405-the-request-method-is-inappropriate-for-the-url.webp "How it's Done")
_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
_405-method-not-allowed-124-how-to-fix-the-http-405-method-not-allowed-error-postman-solved-laravel.jpg)
_avoiding-the-9234405-method-not-allowed9234-error-in-flask.jpg)
_maya-keyframe-reduction.jpg)
_how-to-fix-the-http-405-method-not-allowed-error-postman-124-405-method-not-allowed-postman-solved.jpg)
_cemga-cti-effects-models-for-gaia-simulation-example.jpg)
_the-method-attribute-web-development.jpg)
_how-to-fix-error-405-the-request-method-is-inappropriate-for-the-url.jpg)
![[+]](/images/menu.gif){kind=small}