 |
Post AwTaMau72qkT44WD7Q by [email protected] |
 |
More posts by [email protected] |
|
Post #AwT7S3kALm8DHo7UQq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Good morning, Madrid! (Yes, I'm late, I was walking the Retiro park.) Fourt… |
|
|
|
Post #AwT7S3sfq8w9iC6Hh2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Talk "Migrating Telecom to Quantum-Resistant Cryptography on a Global Scal… |
|
|
|
Post #AwT7S40TN9Aw6NkVqi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Reminder that CRQC (really useful quantum computers) are far away in the future… |
|
|
|
Post #AwT7S46qzQHOQAjbnM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Reminder that QKD (Quantum Key DIstribution) is only good for making press rele… |
|
|
|
Post #AwT7S4DwZ3x0mA3GqW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The focus of the talk is actual deployement of quantum-resistant crypto in actu… |
|
|
|
Post #AwT7S4KgA1L373CeLQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Saying "we must be quantum-resistant" is one thing, deciding what alg… |
|
|
|
Post #AwT7S4Rljf0fT2WJOa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
A bit of formality, now. "Usable Formal Methods Research Group" https… |
|
|
|
Post #AwT7S4ZvFLX1sKKp6W by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Presentation of Microsoft's EverParse system, which generates safe parsers … |
|
|
|
Post #AwT7S6BBIIvgqAm5om by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Many Internet protocols are already specified in EverParse (but not #DNS, alas)… |
|
|
|
Post #AwT7S7Jj41MIMxmQm8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Discussion in the group about writing all RFCs as just formal specification lan… |
|
|
|
Post #AwTaFqxsvtOiqj4Jxw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bortzmeyer The case of rfc of for cookies come to my mind, where if i have wel… |
|
|
|
Post #AwTaMamfUWnGgz2GW0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bortzmeyer seen that while reading draft https://datatracker.ietf.org/doc/html… |
|
|
|
Post #AwTaMau72qkT44WD7Q by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bortzmeyer well in facts there is no mismatch here, that's just me not kno… |
|
|
|
Post #AwTai9RznTgCI2e8Po by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@artlog Another example is the bug I mentioned: https://www.rfc-editor.org/erra… |
