Congratulations to Bach Haong, SPIN inter, for being invited to present at the USENIX’24 Security Symposium, one of the top security conferences. Bach showcased his collaborative research with Dr. Phuong Cao and Jakub Sowa, SPIN intern, presenting two posters titled “Bringing Verification-Aware Languages to Formal Verification of Federated Authentication Protocols” and “Post-Quantum Cryptography (PQC) Network Instrument: Measuring PQC Adoption Rates and Identifying Migration Pathways”.
