public/website
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Correctie link ivm 301

Browse source
This commit is contained in:
Michael Boelen 2023-07-03 16:11:33 +02:00
parent 404bf450d7
commit 0a6dbe5df3
5 changed files with 5 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
content/evenementen/nluug/najaarsconferentie-2022/talks/andreas-hulsing-an-update-on-nists-pqc-standardization-process.md
View file

@ -21,4 +21,4 @@ In this talk I will give an overview of the current situation regarding the sele
## Biography
I am assistant professor for provable security in the Coding Theory and Cryptology group at Eindhoven University of Technology (TU/e). Me and my research group are currently supported by NWO under the Vidi grant “A solid theory for post-quantum cryptography”. Besides, I am collaborating in the Formosa project to produce machine-checked proofs for high-assurance cryptographic software. My research focuses on post-quantum cryptography – cryptography that resists quantum computer-aided attacks. My works range from theoretical works, like how to model quantum attacks or formal security arguments in post-quantum security models, to applied works, like the analysis of side-channel attacks or the development of efficient hash-based signature schemes. In many of my works I try to combine the theoretical and the applied perspective. This is especially reflected in my work on standardizing post-quantum cryptography. To learn more about my research, have a look at [my homepage](https://huelsing.net).
I am assistant professor for provable security in the Coding Theory and Cryptology group at Eindhoven University of Technology (TU/e). Me and my research group are currently supported by NWO under the Vidi grant “A solid theory for post-quantum cryptography”. Besides, I am collaborating in the Formosa project to produce machine-checked proofs for high-assurance cryptographic software. My research focuses on post-quantum cryptography – cryptography that resists quantum computer-aided attacks. My works range from theoretical works, like how to model quantum attacks or formal security arguments in post-quantum security models, to applied works, like the analysis of side-channel attacks or the development of efficient hash-based signature schemes. In many of my works I try to combine the theoretical and the applied perspective. This is especially reflected in my work on standardizing post-quantum cryptography. To learn more about my research, have a look at [my homepage](https://huelsing.net/wordpress/).

4
content/evenementen/nluug/voorjaarsconferentie-2023/talks/nicole-wajer-wat-hebben-ipv6-en-broccoli-gemeenschappelijk.md
View file

@ -33,6 +33,4 @@ Her career in Cisco started in Routing and Switching and Network Security, but s
She is a frequent Speaker for various Cisco Live conferences around the world.
As people who have met her in person will attest, Nicole is very friendly and talkative, as well as quite active on social media. She also acts as the social secretary for Koala, her stuffed marsupial travel companion and conversation starter. But also she is known for being the 'Chief Stroopwafel Officer' #stroopwafel
https://blogs.cisco.com/lifeatcisco/life-as-ciscos-chief-stroopwafel-officer
As people who have met her in person will attest, Nicole is very friendly and talkative, as well as quite active on social media. She also acts as the social secretary for Koala, her stuffed marsupial travel companion and conversation starter. But also she is known for being the [Chief Stroopwafel Officer](https://blogs.cisco.com/wearecisco/life-as-ciscos-chief-stroopwafel-officer) #stroopwafel