_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
_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-414-request-uri-too-large-error.webp "Kinsta")
_student-registration-rules-part-1.webp "1. STVTERM - Define the term code with Strat date and End daten2. STVGMOD - Define Grading Mode for Course grade mode, Web Display Grade Mode priority to diplay in the ordern3. STVHLDD - Related to Registration, this allows to restrict the registration- Web Indication must be checked when Registration Hold is appliedn4. STVSCHD - Schedule type validation linked to the instructional methodn5. STVSSTS - Section status code to allow registration when it is set for sectionn6. STVSESS - help in findi")
_how-to-fix-a-406-error-and-find-the-source-of-the-problem.webp "Kinsta")
_how-to-fix-400-errors.webp "Kinsta")
_how-to-fix-err-connection-reset.webp "Hostinger Academy")
_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)
_how-to-fix-the-414-request-uri-too-large-error.jpg)
_student-registration-rules-part-1.jpg)
_how-to-fix-a-406-error-and-find-the-source-of-the-problem.jpg)
_how-to-fix-400-errors.jpg)
_how-to-fix-err-connection-reset.jpg)
![[+]](/images/menu.gif){kind=small}