Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
[Web Feed] EverParse is a framework for generating provably secure parsers and formatter...
3 views
Skip to first unread message
Feed Supplier
May 6, 2021, 10:32:01 AM5/6/21
to
..s used to improve the security of critical code bases at Micros
project-everest.github.io/everparse/: _EverParse__ is a framework for generating provably secure parsers and formatters used to improve the security of critical code bases at Microsoft. EverParse is developed as part of _
project-everest.github.io/: _Project Everest__, a collaboration between Microsoft Research labs in _
www.microsoft.com/en-us/research/lab/microsoft-research-redmond/: _Redmond, Washington__; _
www.microsoft.com/en-us/research/lab/microsoft-research-india/: _India__; and _
www.microsoft.com/en-us/research/lab/microsoft-research-cambridge/: _Cambridge, United Kingdom__; _
www.microsoft.com/en-us/research/collaboration/inria-joint-centre/: _the Microsoft Research-Inria Joint Centre__; _
prosecco.gforge.inria.fr/: _Inria__; _
www.andrew.cmu.edu/user/bparno/: _Carnegie Mellon University__; and several other open-source contributors. The Everest team has produced several formally proven software components, including the _
www.microsoft.com/en-us/research/blog/evercrypt-cryptographic-provider-offers-developers-greater-security-assurances/: _EverCrypt__ cryptographic provider and verified implementations of the _
www.microsoft.com/en-us/research/publication/implementing-proving-tls-1-3-record-layer/: _TLS 1.3__ record layer, the _
www.microsoft.com/en-us/research/publication/security-model-verified-implementation-quic-record-layer/: _QUIC__ record layer, the _
signalstar.gforge.inria.fr/: _Signal__ messaging protocol, and the _
www.microsoft.com/en-us/research/publication/dice-a-formally-verified-implementation-of-dice-measured-boot/: _DICE__ measured boot protocol. This is the fourth blog post in a series about Project Everest._
Link 1
EverParse: Hardening critical attack surfaces with formally proven message parsers - Microsoft Research: https://www.microsoft.com/en-us/research/blog/everparse-hardening-critical-attack-surfaces-with-formally-proven-message-parsers
project-everest.github.io/everparse/: _EverParse__ is a framework for generating provably secure parsers and formatters used to improve the security of critical code bases at Microsoft. EverParse is developed as part of _
project-everest.github.io/: _Project Everest__, a collaboration between Microsoft Research labs in _
www.microsoft.com/en-us/research/lab/microsoft-research-redmond/: _Redmond, Washington__; _
www.microsoft.com/en-us/research/lab/microsoft-research-india/: _India__; and _
www.microsoft.com/en-us/research/lab/microsoft-research-cambridge/: _Cambridge, United Kingdom__; _
www.microsoft.com/en-us/research/collaboration/inria-joint-centre/: _the Microsoft Research-Inria Joint Centre__; _
prosecco.gforge.inria.fr/: _Inria__; _
www.andrew.cmu.edu/user/bparno/: _Carnegie Mellon University__; and several other open-source contributors. The Everest team has produced several formally proven software components, including the _
www.microsoft.com/en-us/research/blog/evercrypt-cryptographic-provider-offers-developers-greater-security-assurances/: _EverCrypt__ cryptographic provider and verified implementations of the _
www.microsoft.com/en-us/research/publication/implementing-proving-tls-1-3-record-layer/: _TLS 1.3__ record layer, the _
www.microsoft.com/en-us/research/publication/security-model-verified-implementation-quic-record-layer/: _QUIC__ record layer, the _
signalstar.gforge.inria.fr/: _Signal__ messaging protocol, and the _
www.microsoft.com/en-us/research/publication/dice-a-formally-verified-implementation-of-dice-measured-boot/: _DICE__ measured boot protocol. This is the fourth blog post in a series about Project Everest._
Link 1
EverParse: Hardening critical attack surfaces with formally proven message parsers - Microsoft Research: https://www.microsoft.com/en-us/research/blog/everparse-hardening-critical-attack-surfaces-with-formally-proven-message-parsers
0 new messages