Protocol State Machines and Session Languages
Explores protocol state machines and session languages in security, discussing specification, implementation, and testing challenges. Proposes automated inference of formal specifications to improve security.
Signing Me onto Your Accounts through Facebook and Google - A Traffic-Guided Security Study of Commercially Deployed Single-Sign-On Web Services
Explores security vulnerabilities in popular web-based single sign-on systems, uncovering critical flaws that allow unauthorized access to user accounts on major platforms.
DeepCoFFEA - Improved Flow Correlation Attacks on Tor via Metric Learning and Amplification
Explore advanced flow correlation attacks on Tor using metric learning and amplification techniques, enhancing network security understanding and defense strategies.
Deployment of Source Address Validation by Network Operators - A Randomized Control Trial
Explore a randomized control trial on source address validation deployment by network operators, examining effectiveness and implications for cybersecurity practices.
IRShield - A Countermeasure Against Adversarial Physical-Layer Wireless Sensing
Explore IRShield, an innovative countermeasure against adversarial physical-layer wireless sensing, presented by experts from leading institutions in security and privacy research.
Noise - A Library of Verified High-Performance Secure Channel Protocol Implementations
Explore verified high-performance secure channel protocol implementations in this IEEE talk, covering the Noise library's features and applications in cryptographic security.
Delay Wreaks Havoc on Your Smart Home - Delay-based Automation Interference Attacks
Explore how delay-based attacks can disrupt smart home automation systems, compromising security and user experience in connected environments.
BlueMirror - Reflections on Bluetooth Pairing and Provisioning Protocols
Explore Bluetooth pairing and provisioning protocols, focusing on security vulnerabilities and potential exploits in wireless communication systems.
Deep in the Dark - Deep Learning-based Malware Traffic Detection without Expert Knowledge
Explores deep learning models for malware traffic detection using raw network data, comparing performance to traditional approaches and evaluating different input representations.
Zeroconf Protocols and Their Numerous Man in the Middle Attacks
Explore vulnerabilities in Zeroconf protocols, focusing on man-in-the-middle attacks. Learn about potential security risks and implications for network configurations.
On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols
Explore anonymity guarantees in anonymous proof-of-stake protocols, examining their effectiveness and potential vulnerabilities in blockchain systems.
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
Explore a verified implementation of IETF QUIC's record layer, examining its security model and implications for network protocol design and verification.
Method Confusion Attack on the Bluetooth Pairing Process
Uncover vulnerabilities in Bluetooth pairing through method confusion attacks, exploring potential security risks and implications for wireless device connections.
Distributed Trust - Is “Blockchain” the Answer?
Explore distributed trust systems and evaluate blockchain's effectiveness in addressing reliability issues in the presence of misbehaving participants. Gain insights from industry expert Radia Perlman.
Modern Approaches to Wi-Fi Attacks
Explora enfoques modernos para ataques Wi-Fi, analizando técnicas y vulnerabilidades actuales en redes inalámbricas para mejorar la seguridad y protección de sistemas.
Amubush - Catching Intruders At Any Point
Learn advanced techniques for detecting and intercepting network intruders using Ambush, a powerful tool for cybersecurity professionals seeking to enhance their defensive capabilities.
ATGP - Intro For New WCTFers
Explore wireless capture techniques, legal considerations, and essential tools for effective signal reconnaissance and analysis in this comprehensive introduction.
The Use of Covert Communications in Modern Cyber Attacks
Explore covert communication techniques in cyber attacks, including behavior patterns, encryption, and common methods. Learn to identify and mitigate risks in modern digital threats.
Connect Remotely Like a Pro - Hack VPNs, Avoid Firewalls, Connect Even When Your Machine Is Down
Practical tricks for remote work: multiple VPNs, stable connections, and accessing dead laptops. Learn to overcome network challenges and enhance remote connectivity.
Network Security - What About the Data
Explore network security beyond firewalls, focusing on data protection strategies like role-based access, DLP, and data classification to safeguard valuable information assets.
ProbeSpy - Tracking Your Past, Predicting Your Future
Explore WiFi tracking techniques, behavioral profiling, and positioning systems. Learn about privacy implications and potential vulnerabilities in wireless networks.