Nov. 14, 2023, 2:12 p.m. |


ePrint Report: Formal verification of the post-quantum security properties of IKEv2 PPK (RFC 8784) using the Tamarin Prover

Sophie Stevens

The Internet Key Exchange version 2 (IKEv2) (RFC 7296) is a component of IPsec used to authenticate two parties (the initiator and responder) to each other and to establish a set of security parameters for the communications. The security parameters include secret keys to encrypt and authenticate data as well as the negotiation of a set of cryptographic algorithms. The …

authenticate eprint report exchange internet ipsec key post-quantum post-quantum security quantum quantum security report responder rfc security verification version

Paid internship - Cybersecurity [BGSW]

@ Bosch Group | Warszawa, Poland

Cybersecurity Officer

@ People In Need | Prague 2, Prague, Czechia

University -Cybersecurity Consultant

@ Booz Allen Hamilton | USA, CA, San Diego (1615 Murray Canyon Rd)

Senior Security Engineer, Detection Engineering

@ Lyft | Seattle, WA

Architecte de la sécurité des applications / Application Security Architect

@ Genetec | Montreal, Quebec, Canada

Telecommunications Sector| SIEM Engineer

@ Devoteam | Lisbon, Portugal