yusuke1997/dblp-id-title huggingface dataset:
Trust Dies in Darkness: Shedding Light on Samsung's TrustZone Keymaster Design
Guarding Serverless Applications with Kalium
A Comparison of Usability Between Voting Methods
You've Got Vulnerability: Exploring Effective Vulnerability Notifications
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards
2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '12, Bellevue, WA, USA, August 6-7, 2012
AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
An Attacker's Dream? Exploring the Capabilities of ChatGPT for Developing Malware
VulChecker: Graph-based Vulnerability Localization in Source Code
MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
Navigating Security and Privacy Threats in Homeless Service Provision
Dancer in the Dark: Synthesizing and Evaluating Polyglots for Blind Cross-Site Scripting
Polymorphic Blending Attacks
Never Been KIST: Tor's Congestion Management Blossoms with Kernel-Informed Socket Transport
Better managed than memorized? Studying the Impact of Managers on Password Strength and Reuse
Padding Ain't Enough: Assessing the Privacy Guarantees of Encrypted DNS
Gradient Obfuscation Gives a False Sense of Security in Federated Learning
ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems
New Attacks on Timing-based Network Flow Watermarks
LinkDroid: Reducing Unregulated Aggregation of App Usage Behaviors
ret2dir: Rethinking Kernel Isolation
1st USENIX Workshop on Health Security and Privacy, HealthSec'10, Washington, D.C., USA, August 10, 2010
GPU-accelerated PIR with Client-Independent Preprocessing for Large-Scale Applications
Cryptanalysis of a Universally Verifiable Efficient Re-encryption Mixnet
BEAT-MEV: Epochless Approach to Batched Threshold Encryption for MEV Prevention
Postmortem Program Analysis with Hardware-Enhanced Post-Crash Artifacts
Lessons Learned from 10k Experiments to Compare Virtual and Physical Testbeds
DarkGram: A Large-Scale Analysis of Cybercriminal Activity Channels on Telegram
ImpROV: Measurement and Practical Mitigation of Collateral Damage in RPKI Route Origin Validation
Label Inference Attacks Against Vertical Federated Learning
The Most Dangerous Codec in the World: Finding and Exploiting Vulnerabilities in H.264 Decoders
CSI NN: Reverse Engineering of Neural Network Architectures Through Electromagnetic Side Channel
Great, Now Write an Article About That: The Crescendo Multi-Turn LLM Jailbreak Attack
Too Good to Be Safe: Tricking Lane Detection in Autonomous Driving with Crafted Perturbations
Principled and Automated Approach for Investigating AR/VR Attacks
Sprints: Intermittent Blockchain PoW Mining
RADIUS/UDP Considered Harmful
Playing for K(H)eaps: Understanding and Improving Linux Kernel Exploit Reliability
ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space
Adversarial Policy Training against Deep Reinforcement Learning
Mempool Privacy via Batched Threshold Encryption: Attacks and Defenses
Fuzzing with Code Fragments
Work-in-Progress: Automated Named Entity Extraction for Tracking Censorship of Current Events
Simulated Stress: A Case Study of the Effects of a Simulated Phishing Campaign on Employees' Perception, Stress and Self-Efficacy
Supporting Docker in Emulab-Based Network Testbeds
PURE: Payments with UWB RElay-protection
PICACHV: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
Smart Home Privacy Policies Demystified: A Study of Availability, Content, and Coverage
Malicious Management Unit: Why Stopping Cache Attacks in Software is Harder Than You Think
One-Time Passwords in Everything (OPIE): Experiences with Building and Using Strong Authentication
Towards Application Security on Untrusted Operating Systems
GFWeb: Measuring the Great Firewall's Web Censorship at Scale
Development of a System Framework for Implementation of an Enhanced Role-Based Access Control Model to Support Collaborative Processes
On the Atomicity and Efficiency of Blockchain Payment Channels
ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash
Who Are You (I Really Wanna Know)? Detecting Audio DeepFakes Through Vocal Tract Reconstruction
Design, Deployment, and Use of the DETER Testbed
Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities
EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers
Wink: Deniable Secure Messaging
Case Studies in Experiment Design on a minimega Based Network Emulation Testbed
Why Older Adults (Don't) Use Password Managers
DAAP: Privacy-Preserving Model Accuracy Estimation on Unlabeled Datasets Through Distribution-Aware Adversarial Perturbation
Why Users (Don't) Use Password Managers at a Large Educational Institution
Single-Ballot Risk-Limiting Audits Using Convex Optimization
Security Analysis of Unified Payments Interface and Payment Apps in India
Self-Efficacy in Cybersecurity Tasks and Its Relationship with Cybersecurity Competition and Work-Related Outcomes
Closed-Form Bounds for DP-SGD against Record-level Inference
SEPIA: Privacy-Preserving Aggregation of Multi-Domain Network Events and Statistics
A Thorough Security Analysis of BLE Proximity Tracking Protocols
Shell We Play A Game? CTF-as-a-service for Security Education
ALOHA: Auxiliary Loss Optimization for Hypothesis Augmentation
A Large-Scale Empirical Analysis of Chinese Web Passwords
I Can Tell Your Secrets: Inferring Privacy Attributes from Mini-app Interaction History in Super-apps
A Virtual Honeypot Framework
PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Models
Show Me the Money: Characterizing Spam-advertised Revenue
Cashtags: Protecting the Input and Display of Sensitive Data
GLeeFuzz: Fuzzing WebGL Through Error Message Guided Mutation
Enhancing Network Attack Detection with Distributed and In-Network Data Collection System
Exploring the Security Boundary of Data Reconstruction via Neuron Exclusivity Analysis
Single Pass Client-Preprocessing Private Information Retrieval
Eos: Efficient Private Delegation of zkSNARK Provers
Measuring I2P Censorship at a Global Scale
DETER Community Workshop on Cyber Security Experimentation and Test 2007, Boston, Ma, USA, August 6-7, 2007
Transferability of White-box Perturbations: Query-Efficient Adversarial Attacks against Commercial DNN Services
SQIRL: Grey-Box Detection of SQL Injection Vulnerabilities Using Reinforcement Learning
Can Systems Explain Permissions Better? Understanding Users' Misperceptions under Smartphone Runtime Permission Model
Adblocking and Counter Blocking: A Slice of the Arms Race
"Shhh...be quiet!" Reducing the Unwanted Interruptions of Notification Permission Prompts on Chrome
Infranet: Circumventing Web Censorship and Surveillance
Certified Side Channels
From Purity to Peril: Backdooring Merged Models From "Harmless" Benign Components
Leuvenshtein: Efficient FHE-based Edit Distance Computation with Single Bootstrap per Cell
2nd USENIX Workshop on Hot Topics in Security, HotSec'07, Boston, MA, USA, August 7, 2007
Might I Get Pwned: A Second Generation Compromised Credential Checking Service
Censors' Delay in Blocking Circumvention Proxies
Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31 - August 4, 2006
Role Prediction Using Electronic Medical Record System Audits
Leakage of Dataset Properties in Multi-Party Machine Learning
Are You Spying on Me? Large-Scale Analysis on IoT Data Exposure through Companion Apps
PAC it up: Towards Pointer Integrity using ARM Pointer Authentication
ORANalyst: Systematic Testing Framework for Open RAN Implementations
TextShield: Robust Text Classification Based on Multimodal Embedding and Neural Machine Translation
zkCross: A Novel Architecture for Cross-Chain Privacy-Preserving Auditing
GET /out: Automated Discovery of Application-Layer Censorship Evasion Strategies
WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors
AutoLock: Why Cache Attacks on ARM Are Harder Than You Think
OPUS: Online Patches and Updates for Security
Towards HTTPS Everywhere on Android: We Are Not There Yet
Elevation of Privilege: Drawing Developers into Threat Modeling
Fuzztruction: Using Fault Injection-based Fuzzing to Leverage Implicit Domain Knowledge
ATP - Anti-Tampering Program
Endangered Privacy: Large-Scale Monitoring of Video Streaming Services
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
Measuring the Political and Social Implications of Government-Initiated Cyber Shutdowns
H2O2RAM: A High-Performance Hierarchical Doubly Oblivious RAM
Isolated Virtualised Clusters: Testbeds for High-Risk Security Experimentation and Training
Can Knowledge of Technical Debt Help Identify Software Vulnerabilities?
The Secure Socket API: TLS as an Operating System Service
ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions
From Alarms to Real Bugs: Multi-target Multi-step Directed Greybox Fuzzing for Static Analysis Result Verification
Data-Free Model-Related Attacks: Unleashing the Potential of Generative AI
COMEX: Deeply Observing Application Behavior on Real Android Devices
Speeding up detection of SHA-1 collision attacks using unavoidable attack conditions
Towards a Censorship Analyser for Tor
Temporal System Call Specialization for Attack Surface Reduction
Catch You and I Can: Revealing Source Voiceprint Against Voice Conversion
Easy As Child's Play: An Empirical Study on Age Verification of Adult-Oriented Android Apps
All Things Considered: An Analysis of IoT Devices on Home Networks
On the Release of CRLs in Public Key Infrastructure
Calpric: Inclusive and Fine-grain Labeling of Privacy Policies with Crowdsourcing and Active Learning
Investigating Verification Behavior and Perceptions of Visual Digital Certificates
The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter
12th USENIX Workshop on Cyber Security Experimentation and Test, CSET 2019, Santa Clara, CA, USA, August 12, 2019
Are CAPTCHAs Still Bot-hard? Generalized Visual CAPTCHA Solving with Agentic Vision Language Model
Zero-Knowledge Middleboxes
Towards a Framework for Evaluating BGP Security
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security
The Silent Danger in HTTP: Identifying HTTP Desync Vulnerabilities with Gray-box Testing
Poison Over Troubled Forwarders: A Cache Poisoning Attack Targeting DNS Forwarding Devices
Blind Backdoors in Deep Learning Models
MD-ML: Super Fast Privacy-Preserving Machine Learning for Malicious Security with a Dishonest Majority
UCBlocker: Unwanted Call Blocking Using Anonymous Authentication
Offline Delegation
Near-Ultrasound Inaudible Trojan (Nuit): Exploiting Your Speaker to Attack Your Microphone
On the Design and Execution of Cyber-Security User Studies: Methodology, Challenges, and Lessons Learned
MAGIC: Detecting Advanced Persistent Threats via Masked Graph Representation Learning
Everyone is Different: Client-side Diversification for Defending Against Extension Fingerprinting
Back-Propagating System Dependency Impact for Attack Investigation
SMACK: Semantically Meaningful Adversarial Audio Attack
"I feel invaded, annoyed, anxious and I may protect myself": Individuals' Feelings about Online Tracking and their Protective Behaviour across Gender and Country
Hard-label Black-box Universal Adversarial Patch Attack
Unbalanced Circuit-PSI from Oblivious Key-Value Retrieval
Empirical Study of Tolerating Denial-of-Service Attacks with a Proxy Network
Risky Business? Investigating the Security Practices of Vendors on an Online Anonymous Market using Ground-Truth Data
PATCHAGENT: A Practical Program Repair Agent Mimicking Human Expertise
On the Feasibility of Malware Unpacking via Hardware-assisted Loop Profiling
The Circle Of Life: A Large-Scale Study of The IoT Malware Lifecycle
EOSAFE: Security Analysis of EOSIO Smart Contracts
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators
You Are Who You Know and How You Behave: Attribute Inference Attacks via Users' Social Friends and Behaviors
Revisiting SSL/TLS Implementations: New Bleichenbacher Side Channels and Attacks
Anatomization and Protection of Mobile Apps' Location Privacy Threats
Sometimes Simpler is Better: A Comprehensive Analysis of State-of-the-Art Provenance-Based Intrusion Detection Systems
How Researchers De-Identify Data in Practice
A Large-Scale Measurement of Website Login Policies
Detecting Malware Domains at the Upper DNS Hierarchy
Stolen Memories: Leveraging Model Memorization for Calibrated White-Box Membership Inference
5th Workshop on Cyber Security Experimentation and Test, CSET '12, Bellevue, WA, USA, August 6, 2012
Some Consequences of Paper Fingerprinting for Elections
The Impact of Exposed Passwords on Honeyword Efficacy
Peep With A Mirror: Breaking The Integrity of Android App Sandboxing via Unprivileged Cache Side Channel
Divide and Surrender: Exploiting Variable Division Instruction Timing in HQC Key Recovery Attacks
Charm: Facilitating Dynamic Analysis of Device Drivers of Mobile Systems
What Twitter Knows: Characterizing Ad Targeting Practices, User Perceptions, and Ad Explanations Through Users' Own Twitter Data
Internet Censorship in Iran: A First Look
Proceedings of the 17th USENIX Security Symposium, July 28-August 1, 2008, San Jose, CA, USA
Biosignal Authentication Considered Harmful Today
Exploiting the Hard-Working DWARF: Trojan and Exploit Techniques with No Native Executable Code
Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants
Oxymoron: Making Fine-Grained Memory Randomization Practical by Allowing Code Sharing
TPatch: A Triggered Physical Adversarial Patch
Exploring Connections Between Active Learning and Model Extraction
AttriGuard: A Practical Defense Against Attribute Inference Attacks via Adversarial Machine Learning
Fourteen Years in the Life: A Root Server's Perspective on DNS Resolver Security
Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC
Trusted Browsers for Uncertain Times
Exploiting Unprotected I/O Operations in AMD's Secure Encrypted Virtualization
7th Workshop on Cyber Security Experimentation and Test, CSET '14, San Diego, CA, USA, August 18, 2014
MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery
Seeing Through: Analyzing and Attacking Virtual Backgrounds in Video Calls
Preventing Cryptographic Key Leakage in Cloud Virtual Machines
Stateful Least Privilege Authorization for the Cloud
Stealthy Tracking of Autonomous Vehicles with Cache Side Channels
Electronic Monitoring Smartphone Apps: An Analysis of Risks from Technical, Human-Centered, and Legal Perspectives
Mind Your Weight(s): A Large-scale Study on Insufficient Machine Learning Model Protection in Mobile Apps
Fragmentation Considered Vulnerable: Blindly Intercepting and Discarding Fragments
DeepFold: Efficient Multilinear Polynomial Commitment from Reed-Solomon Code and Its Application to Zero-knowledge Proofs
Q: Exploit Hardening Made Easy
Learning from Early Attempts to Measure Information Security Performance
Precise and Accurate Patch Presence Test for Binaries
Your Microphone Array Retains Your Identity: A Robust Voice Liveness Detection System for Smart Speakers
"If sighted people know, I should be able to know: " Privacy Perceptions of Bystanders with Visual Impairments around Camera-based Technology
CodexLeaks: Privacy Leaks from Code Generation Language Models in GitHub Copilot
Wireless Attacks on Aircraft Instrument Landing Systems
Using Client Puzzles to Protect TLS
Go Go Gadget Hammer: Flipping Nested Pointers for Arbitrary Data Leakage
Found in Translation: A Generative Language Modeling Approach to Memory Access Pattern Attacks
Harness: Transparent and Lightweight Protection of Vehicle Control on Untrusted Android Automotive Operating System
Improved Secure Two-party Computation from a Geometric Perspective
Remote Code Execution from SSTI in the Sandbox: Automatically Detecting and Exploiting Template Escape Bugs
Securing Script-Based Extensibility in Web Browsers
A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel
7th USENIX Workshop on Free and Open Communications on the Internet, FOCI 2017, Vancouver, BC, Canada, August 14, 2017
Did the Neurons Read your Book? Document-level Membership Inference for Large Language Models
Software Generation of Practically Strong Random Numbers
The Space of Adversarial Strategies
OPTISAN: Using Multiple Spatial Error Defenses to Optimize Stack Memory Protection within a Budget
Causal Analysis for Software-Defined Networking Attacks
Bypassing Internet Censorship for News Broadcasters
Enforcing Well-Formed and Partially-Formed Transactions for UNIX
Evaluation of Collaborative Worm Containments on DETER Testbed
Fragment and Forge: Breaking Wi-Fi Through Frame Aggregation and Fragmentation
Inference of Error Specifications and Bug Detection Using Structural Similarities
How Long Do Vulnerabilities Live in the Code? A Large-Scale Empirical Measurement Study on FOSS Vulnerability Lifetimes
The Second Crypto War - What's Different Now
Understanding and Improving Security and Privacy in Multi-User Smart Homes: A Design Exploration and In-Home User Study
26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017
Fantastic Four: Honest-Majority Four-Party Secure Computation With Malicious Security
FLUSH+RELOAD: A High Resolution, Low Noise, L3 Cache Side-Channel Attack
DPAdapter: Improving Differentially Private Deep Learning through Noise Tolerance Pre-training
Two Sides of the Shield: Understanding Protective DNS adoption factors
Performance Requirements for End-to-End Verifiable Elections
Towards Automatic Software Lineage Inference
CoVault: Secure, Scalable Analytics of Personal Data
Static Analysis of Executables to Detect Malicious Patterns
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility
V-NetLab: An Approach for Realizing Logically Isolated Networks for Security Experiments
Telling Your Secrets without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution
Exploiting the Client Vulnerabilities in Internet E-voting Systems: Hacking Helios 2.0 as an Example
On the Criticality of Integrity Protection in 5G Fronthaul Networks
Lamphone: Passive Sound Recovery from a Desk Lamp's Light Bulb Vibrations
Network Intrusion Detection: Evasion, Traffic Normalization, and End-to-End Protocol Semantics
"I chose to fight, be brave, and to deal with it": Threat Experiences and Security Practices of Pakistani Content Creators
SelectiveTaint: Efficient Data Flow Tracking With Static Binary Rewriting
Efficient Representation of Numerical Optimization Problems for SNARKs
Adaptive Security and Privacy for mHealth Sensing
FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection
Combating Click Fraud via Premium Clicks
The Battle for New York: A Case Study of Applied Digital Threat Modeling at the Enterprise Level
What Biology Can (and Can't) Teach Us About Security
Getting to the HART of the Matter: An Evaluation of Real-World Safety System OT/IT Interfaces, Attacks, and Countermeasures
MIMIQ: Masking IPs with Migration in QUIC
NASS: Fuzzing All Native Android System Services with Interface Awareness and Coverage
Address Obfuscation: An Efficient Approach to Combat a Broad Range of Memory Error Exploits
Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques
GridSE: Towards Practical Secure Geographic Search via Prefix Symmetric Searchable Encryption
Physical-Layer Attacks Against Pulse Width Modulation-Controlled Actuators
Programmable In-Network Security for Context-aware BYOD Policies
Fast Enhanced Private Set Union in the Balanced and Unbalanced Scenarios
OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers
Sound-Proof: Usable Two-Factor Authentication Based on Ambient Sound
Inferring Mechanics of Web Censorship Around the World
PerfOMR: Oblivious Message Retrieval with Reduced Communication and Computation
Engineering Heap Overflow Exploits with JavaScript
Triton: A Software-Reconfigurable Federated Avionics Testbed
PowerDuck: A GOOSE Data Set of Cyberattacks in Substations
Cross-Origin JavaScript Capability Leaks: Detection, Exploitation, and Defense
Towards Automatically Reverse Engineering Vehicle Diagnostic Protocols
Towards Publishable Event Logs That Reveal Touchscreen Faults
Toward Speech-Generated Cryptographic Keys on Resource-Constrained Devices
Piranha: A GPU Platform for Secure Computation
Orbital Trust and Privacy: SoK on PKI and Location Privacy Challenges in Space Networks
A Cryptographic Airbag for Metadata: Protecting Business Records Against Unlimited Search and Seizure
Effective Directed Fuzzing with Hierarchical Scheduling for Web Vulnerability Detection
Debloating Address Sanitizer
Medusa: Microarchitectural Data Leakage via Automated Attack Synthesis
Taint-Enhanced Policy Enforcement: A Practical Approach to Defeat a Wide Range of Attacks
A Linear Reconstruction Approach for Attribute Inference Attacks against Synthetic Data
The Rewards and Costs of Stronger Passwords in a University: Linking Password Lifetime to Strength
Snowflake, a censorship circumvention system using temporary WebRTC proxies
SpyProxy: Execution-based Detection of Malicious Web Content
EmbedX: Embedding-Based Cross-Trigger Backdoor Attack Against Large Language Models
Security Fusion: A New Security Architecture for Resource-Constrained Environments
Self-interpreting Adversarial Images
Mining Your Ps and Qs: Detection of Widespread Weak Keys in Network Devices
A Study in Using Neural Networks for Anomaly and Misuse Detection
Keep Your Enemies Close: Distance Bounding Against Smartcard Relay Attacks
Three Lessons From Threema: Analysis of a Secure Messenger
Prime+Abort: A Timer-Free High-Precision L3 Cache Attack using Intel TSX
Honey Sheets: What Happens to Leaked Google Spreadsheets?
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation
Scalable Collaborative zk-SNARK and Its Application to Fully Distributed Proof Delegation
The KNOB is Broken: Exploiting Low Entropy in the Encryption Key Negotiation Of Bluetooth BR/EDR
RustSan: Retrofitting AddressSanitizer for Efficient Sanitization of Rust
SENG, the SGX-Enforcing Network Gateway: Authorizing Communication from Shielded Clients
An Analysis of Private Browsing Modes in Modern Browsers
Publius: A Robust, Tamper-Evident, Censorship-Resistant, and Source-Anonymous Web Publishing System
Recognizing Functions in Binaries with Neural Networks
Adaptive Android Kernel Live Patching
Towards a High Fidelity Training Environment for Autonomous Cyber Defense Agents
Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM
Structuring Protocol Implementations to Protect Sensitive Data
PrivaCI in VR: Exploring Perceptions and Acceptability of Data Sharing in Virtual Reality Through Contextual Integrity
FuncTeller: How Well Does eFPGA Hide Functionality?
Bypassing Tunnels: Leaking VPN Client Traffic by Abusing Routing Tables
A comprehensive, formal and automated analysis of the EDHOC protocol
SafeSpeech: Robust and Universal Voice Protection Against Malicious Speech Synthesis
Work-From-Home and COVID-19: Trajectories of Endpoint Security Management in a Security Operations Center
TORCHLIGHT: Shedding LIGHT on Real-World Attacks on Cloudless IoT Devices Concealed within the Tor Network
Hacking in Darkness: Return-oriented Programming against Secure Enclaves
Trafficking Fraudulent Accounts: The Role of the Underground Market in Twitter Spam and Abuse
Detecting Stuffing of a User's Credentials at Her Own Accounts
Open to a fault: On the passive compromise of TLS keys via transient errors
MPInspector: A Systematic and Automatic Approach for Evaluating the Security of IoT Messaging Protocols
2nd USENIX Workshop on Health Security and Privacy, HealthSec'11, San Francisco, CA, USA, August 9, 2011
Type-Assisted Dynamic Buffer Overflow Detection
Public Key Distribution with Secure DNS