OHAI is apps too
", "time": "2023-03-30T07:39:40Z"}, {"author": "Robert Moskowitz", "text": "NIST is having a Lightweight crypto virtual workshop Jun 21-22 on work on selected ASCON.
", "time": "2023-03-30T07:43:15Z"}, {"author": "Robert Moskowitz", "text": "https://csrc.nist.gov/Events/2023/lightweight-cryptography-workshop-2023
", "time": "2023-03-30T07:43:18Z"}, {"author": "Deb Cooley", "text": "that must be an old list...
", "time": "2023-03-30T07:48:08Z"}, {"author": "Nicholas Gajcowski", "text": "The ratio of closed to reported may be better. Lol
", "time": "2023-03-30T07:48:22Z"}, {"author": "Robert Moskowitz", "text": "Given that I am in Montreal this week for the ICAO Trust Framework Panel, I could not handle 3 conferences this week. Sigh.
", "time": "2023-03-30T07:51:18Z"}, {"author": "Robert Moskowitz", "text": "Interesting. Hugo called it SigMa, SIgn and Mac.
", "time": "2023-03-30T07:55:46Z"}, {"author": "Massimiliano Pala", "text": "@Robert Moskowitz: Thanks for the link!
", "time": "2023-03-30T08:11:16Z"}, {"author": "Alexey Melnikov", "text": "Thank you for the talk!
", "time": "2023-03-30T08:11:52Z"}, {"author": "Sofia Celi", "text": "omg, Kazue!
", "time": "2023-03-30T08:12:12Z"}, {"author": "Alexey Melnikov", "text": "The slides contained a typo in the YouTube link. The correct link is https://www.youtube.com/@TheIACR
", "time": "2023-03-30T08:12:34Z"}, {"author": "Alexey Melnikov", "text": "The slide had lowercase \u201cL\u201d instead of \u201cI\u201d
", "time": "2023-03-30T08:13:09Z"}, {"author": "Sofia Celi", "text": "oh thank you! I'll try pointing a new set of slides @Alexey Melnikov ;)
", "time": "2023-03-30T08:13:56Z"}, {"author": "Alexey Melnikov", "text": "Thank you Sofia
", "time": "2023-03-30T08:14:21Z"}, {"author": "Rich Salz", "text": "Amazing overview, thanks Sofia!
", "time": "2023-03-30T08:14:34Z"}, {"author": "Massimiliano Pala", "text": "Thank you, Sofia!
", "time": "2023-03-30T08:15:57Z"}, {"author": "Massimiliano Pala", "text": "If formal methods are a new requirements, there should be tools available for the community...
", "time": "2023-03-30T08:16:51Z"}, {"author": "Robert Moskowitz", "text": "No way we can slow down now. We do need to do the analysis but there is so much work to do. Formal methods we all need to learn more about.,
", "time": "2023-03-30T08:16:56Z"}, {"author": "Deb Cooley", "text": "speed is not the answer
", "time": "2023-03-30T08:17:30Z"}, {"author": "Pieter Kasselman", "text": "Agreed, we can't slow down, but figuring out how to scale the formal analysis so it can be more broadly applied is a good ambition.
", "time": "2023-03-30T08:17:35Z"}, {"author": "Massimiliano Pala", "text": "If we do this for security, should this approach be extended to other areas?
", "time": "2023-03-30T08:17:51Z"}, {"author": "Deb Cooley", "text": "analysis be that formal methods or other methods are important
", "time": "2023-03-30T08:17:53Z"}, {"author": "Robert Moskowitz", "text": "@Pieter +1 or more.
", "time": "2023-03-30T08:18:00Z"}, {"author": "Stephen Farrell", "text": "GOTO https://datatracker.ietf.org/rg/ufmrg/ and help do stuff
", "time": "2023-03-30T08:18:10Z"}, {"author": "Stephen Farrell", "text": "it's only starting though, don't expect miracles
", "time": "2023-03-30T08:18:27Z"}, {"author": "Massimiliano Pala", "text": "@Stephen Farrell: Gladly... we would just need time and resources for that... heheheheh!!!
", "time": "2023-03-30T08:20:08Z"}, {"author": "Robert Moskowitz", "text": "To speaker. Asking the right question has always been the advise to engineers. We are no different. No miracles anywhere.
", "time": "2023-03-30T08:20:49Z"}, {"author": "Pieter Kasselman", "text": "Agreed with Justin - Formal Analysis != Secure. It's one more tool, but you need to understand the analysis itself (including what the target is).
", "time": "2023-03-30T08:21:33Z"}, {"author": "Deb Cooley", "text": "it is a tool in the toolbox.
", "time": "2023-03-30T08:22:30Z"}, {"author": "Deb Cooley", "text": "but it is not the only tool
", "time": "2023-03-30T08:22:36Z"}, {"author": "Jonathan Lennox", "text": "Formal methods pixie dust comes from the same pixies as security pixie dust, I guess.
", "time": "2023-03-30T08:22:54Z"}, {"author": "Stephen Farrell", "text": "I didn't realise the ufmrg would be so popular so soon:-)
", "time": "2023-03-30T08:23:51Z"}, {"author": "Stephen Farrell", "text": "there're a bunch of references to protocols for which these methods were already used in the RG wiki: https://wiki.ietf.org/en/group/ufm
", "time": "2023-03-30T08:24:17Z"}, {"author": "Robert Moskowitz", "text": "Hope to see you all in SanFran!
", "time": "2023-03-30T08:27:18Z"}, {"author": "Jean Queralt", "text": "Thanks for the session.
", "time": "2023-03-30T08:27:29Z"}, {"author": "Benson Muite", "text": "Thanks
", "time": "2023-03-30T08:27:30Z"}, {"author": "Massimiliano Pala", "text": "Thank you!
", "time": "2023-03-30T08:27:42Z"}]