Presentations: Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G BasebandsSPF Beyond the Standard: Management and Operational Challenges in Practice and Practical RecommendationsA Formal Analysis of SCTP: Attack Synthesis and Patch VerificationAthena: Analyzing and Quantifying Side Channels of Transport Layer ProtocolsShaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-NetsSalon H
