yusuke1997/dblp-id-title huggingface dataset:
Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting
Fixing Races for Fun and Profit: How to Use access(2)
Style Guide for Voting System Documentation: Why User-Centered Documentation Matters to Voting Security
YARIX: Scalable YARA-based Malware Intelligence
Examining Power Dynamics and User Privacy in Smart Technology Use Among Jordanian Households
PCAT: Functionality and Data Stealing from Split Learning by Pseudo-Client Attack
Efficient Data Structures For Tamper-Evident Logging
Understanding the Mirai Botnet
Hijacking Attacks against Neural Network by Analyzing Training Data
An Analysis of HIPAA Breach Data
Translation Leak-aside Buffer: Defeating Cache Side-channel Protections with TLB Attacks
Rolling Colors: Adversarial Laser Exploits against Traffic Light Recognition
CLKSCREW: Exposing the Perils of Security-Oblivious Energy Management
On the Security of RC4 in TLS
Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation
Origin-sensitive Control Flow Integrity
Pool Inference Attacks on Local Differential Privacy: Quantifying the Privacy Guarantees of Apple's Count Mean Sketch in Practice
Machine Against the RAG: Jamming Retrieval-Augmented Generation with Blocker Documents
Faster Malicious 2-Party Secure Computation with Online/Offline Dual Execution
Access Control Hygiene and the Empathy Gap in Medical IT
SkillExplorer: Understanding the Behavior of Skills in Large Scale
A Billion Open Interfaces for Eve and Mallory: MitM, DoS, and Tracking Attacks on iOS and macOS Through Apple Wireless Direct Link
The Dangers of Key Reuse: Practical Attacks on IPsec IKE
Mitigating Membership Inference Attacks by Self-Distillation Through a Novel Ensemble Architecture
Time for Change: How Clocks Break UWB Secure Ranging
Suda: An Efficient and Secure Unbalanced Data Alignment Framework for Vertical Privacy-Preserving Machine Learning
Multipath Transport for Virtual Private Networks
Racing for TLS Certificate Validation: A Hijacker's Guide to the Android TLS Galaxy
Xplain: Analyzing Invisible Correlations in Model Explanation
When Translators Refuse to Translate: A Novel Attack to Speech Translation Systems
K-Waay: Fast and Deniable Post-Quantum X3DH without Ring Signatures
A High Coverage Cybersecurity Scale Predictive of User Behavior
Intellectual Property Exposure: Subverting and Securing Intellectual Property Encapsulation in Texas Instruments Microcontrollers
SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization
Ballot Casting Assurance via Voter-Initiated Poll Station Auditing
Retrofitting Network Security to Third-Party Applications - The SecureBase Experience
Detecting Logical Bugs of DBMS with Coverage-based Guidance
Deja Vu-A User Study: Using Images for Authentication
A Case Study in Helping Students to Covertly Eat Their Classmates
Extended Hell(o): A Comprehensive Large-Scale Study on Email Confidentiality and Integrity Mechanisms in the Wild
SecurePost: Verified Group-Anonymity on Social Media
Lowering the Barriers to Industrial Control System Security with GRFICS
SmartCookie: Blocking Large-Scale SYN Floods with a Split-Proxy Defense on Programmable Data Planes
TIED, LibsafePlus: Tools for Runtime Buffer Overflow Protection
AdJail: Practical Enforcement of Confidentiality and Integrity Policies on Web Advertisements
PointerGuess: Targeted Password Guessing Model Using Pointer Mechanism
Adversarial Illusions in Multi-Modal Embeddings
LLFuzz: An Over-the-Air Dynamic Testing Framework for Cellular Baseband Lower Layers
Teacher Model Fingerprinting Attacks Against Transfer Learning
E-Voting and Forensics: Prying Open the Black Box
Towards a General Video-based Keystroke Inference Attack
20th USENIX Security Symposium, San Francisco, CA, USA, August 8-12, 2011, Proceedings
"That's my perspective from 30 years of doing this": An Interview Study on Practices, Experiences, and Challenges of Updating Cryptographic Code
Research on the Security of Visual Reasoning CAPTCHA
Practical Lessons from Creating the Control-Alt-Hack Card Game and Research Challenges for Games In Education and Research
Khaleesi: Breaker of Advertising and Tracking Request Chains
MCMix: Anonymous Messaging via Secure Multiparty Computation
Vale: Verifying High-Performance Cryptographic Assembly Code
Privacy-Preserving Data Aggregation with Public Verifiability Against Internal Adversaries
Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection
WattsUpDoc: Power Side Channels to Nonintrusively Discover Untargeted Malware on Embedded Medical Devices
SAID: State-aware Defense Against Injection Attacks on In-vehicle Network
Lessons from Using the I-Corps Methodology to Understand Cyber Threat Intelligence Sharing
Modeling and Analyzing Faults to Improve Election Process Robustness
Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31 - August 5, 2005
Attacking the Brain: Races in the SDN Control Plane
Playing Without Paying: Detecting Vulnerable Payment Verification in Native Binaries of Unity Mobile Games
Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE
Investigating the Computer Security Practices and Needs of Journalists
GPU Memory Exploitation for Fun and Profit
2010 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '10, Washington, D.C., USA, August 9-10, 2010
Boxify: Full-fledged App Sandboxing for Stock Android
Security and Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
Live Lesson: Labtainers: A Docker-based Framework for Cybersecurity Labs
On the Design and Misuse of Microcoded (Embedded) Processors - A Cautionary Note
3rd USENIX Workshop on Hot Topics in Security, HotSec'08, San Jose, CA, USA, July 29, 2008, Proceedings
Exploiting Inaccurate Branch History in Side-Channel Attacks
The Long "Taile" of Typosquatting Domain Names
Burst ORAM: Minimizing ORAM Response Times for Bursty Access Patterns
The Loopix Anonymity System
TARDIS: Time and Remanence Decay in SRAM to Implement Secure Protocols on Embedded Devices without Clocks
LibFTE: A Toolkit for Constructing Practical, Format-Abiding Encryption Schemes
Studying the Nedap/Groenendaal ES3B Voting Computer: A Computer Security Perspective
Detecting Backdoors
Rods with Laser Beams: Understanding Browser Fingerprinting on Phishing Pages
What's in a Name? Exploring CA Certificate Control
A Two-Decade Retrospective Analysis of a University's Vulnerability to Attacks Exploiting Reused Passwords
Privacy in Pharmacogenetics: An End-to-End Case Study of Personalized Warfarin Dosing
Impact of Spam Exposure on User Engagement
Racing on the Negative Force: Efficient Vulnerability Root-Cause Analysis through Reinforcement Learning on Counterexamples
DSCRETE: Automatic Rendering of Forensic Information from Memory Images via Application Logic Reuse
Othered, Silenced and Scapegoated: Understanding the Situated Security of Marginalised Populations in Lebanon
Secure Outsourced Garbled Circuit Evaluation for Mobile Devices
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth
10th USENIX Workshop on Cyber Security Experimentation and Test, CSET 2017, Vancouver, BC, Canada, August 14, 2017
The Challenges of Bringing Cryptography from Research Papers to Products: Results from an Interview Study with Experts
Two ICS Security Datasets and Anomaly Detection Contest on the HIL-based Augmented ICS Testbed
BackdoorIndicator: Leveraging OOD Data for Proactive Backdoor Detection in Federated Learning
2013 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '13, Washington, D.C., USA, August 12-13, 2013
Using the Domain Name System for System Break-ins
DnD: A Cross-Architecture Deep Neural Network Decompiler
Proactive Surge Protection: A Defense Mechanism for Bandwidth-Based Attacks
Stress Testing Cluster Bro
On the Importance of Encrypted-SNI (ESNI) to Censorship Circumvention
Building an Avionics Laboratory for Cybersecurity Testing
6Sense: Internet-Wide IPv6 Scanning and its Security Applications
Neither Access nor Control: A Longitudinal Investigation of the Efficacy of User Access-Control Solutions on Smartphones
Peeking into Your App without Actually Seeing It: UI State Inference and Novel Android Attacks
Double-Edged Shield: On the Fingerprintability of Customized Ad Blockers
CacheAudit: A Tool for the Static Analysis of Cache Side Channels
Smudged Fingerprints: Characterizing and Improving the Performance of Web Application Fingerprinting
Prompt Obfuscation for Large Language Models
Senate: A Maliciously-Secure MPC Platform for Collaborative Analytics
DelegaTEE: Brokered Delegation Using Trusted Execution Environments
SocialFilter: Introducing Social Trust to Collaborative Spam Mitigation
Birthday, Name and Bifacial-security: Understanding Passwords of Chinese Web Users
Information Security Technology? Don't Rely on It. A Case Study in Social Engineering
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection
Secure Multi-User Content Sharing for Augmented Reality Applications
Under the Hood of DANE Mismanagement in SMTP
Shadows in Cipher Spaces: Exploiting Tweak Repetition in Hardware Memory Encryption
X-Force: Force-Executing Binary Programs for Security Applications
Scalable Anonymous Communication with Provable Security
Efficient 3PC for Binary Circuits with Application to Maliciously-Secure DNN Inference
Computer Security and Privacy in the Interactions Between Victim Service Providers and Human Trafficking Survivors
Machine-Assisted Election Auditing
Rethinking White-Box Watermarks on Deep Learning Models under Neural Structural Obfuscation
Same-Origin Policy: Evaluation in Modern Browsers
ARMore: Pushing Love Back Into Binaries
A Data-free Backdoor Injection Approach in Neural Networks
The Impact of Secure Transport Protocols on Phishing Efficacy
On User Choice in Graphical Password Schemes
Picking Up My Tab: Understanding and Mitigating Synchronized Token Lifting and Spending in Mobile Payment
All Your iFRAMEs Point to Us
Do New Voting Technologies Prevent Fraud? Evidence from Russia
The Unpatchable Silicon: A Full Break of the Bitstream Encryption of Xilinx 7-Series FPGAs
9th USENIX Workshop on Free and Open Communications on the Internet, FOCI 2019, Santa Clara, CA, USA, August 13, 2019
Graphical Dictionaries and the Memorable Space of Graphical Passwords
Faster Print on Demand for Prêt à Voter
Cross the Zone: Toward a Covert Domain Hijacking via Shared DNS Infrastructure
Jonah: Experience Implementing PKIX Reference Freeware
Disturbed Playing: Another Kind of Educational Security Games
A Large Scale Study of User Behavior, Expectations and Engagement with Android Permissions
A Risk Management Framework for Health Care Data Anonymization
Oblivious Multi-Party Machine Learning on Trusted Processors
Atkscopes: Multiresolution Adversarial Perturbation as a Unified Attack on Perceptual Hashing and Beyond
Everything Old is New Again: Binary Security of WebAssembly
Prime+Probe 1, JavaScript 0: Overcoming Browser-based Side-Channel Defenses
Efficient Batchable Secure Outsourced Computation: Depth-Aware Arithmetization of Common Primitives for BFV & BGV
A Case Study-based Cybersecurity Ethics Curriculum
How Double-Fetch Situations turn into Double-Fetch Vulnerabilities: A Study of Double Fetches in the Linux Kernel
Internet Measurements and Public Policy: Mind the Gap
mID: Tracing Screen Photos via Moiré Patterns
Cryptographic Deniability: A Multi-perspective Study of User Perceptions and Expectations
Characterizing the MrDeepFakes Sexual Deepfake Marketplace
Steal This Movie: Automatically Bypassing DRM Protection in Streaming Media Services
Exploring User Security and Privacy Attitudes and Concerns Toward the Use of General-Purpose LLM Chatbots for Mental Health
Jinn: Hijacking Safe Programs with Trojans
APPATCH: Automated Adaptive Prompting Large Language Models for Real-World Software Vulnerability Patching
Bootstrapping Communications into an Anti-Censorship System
Unidirectional Key Distribution Across Time and Space with Applications to RFID Security
SSLACC: A Clustered SSL Accelerator
TVA: A multi-party computation system for secure and expressive time series analytics
The Cause of All Evils: Assessing Causality Between User Actions and Malware Activity
Control-Flow Bending: On the Effectiveness of Control-Flow Integrity
Web-Based Inference Detection
Interstate Voter Registration Database Matching: The Oregon-Washington 2008 Pilot Project
There Is No Free Phish: An Analysis of "Free" and Live Phishing Kits
You Can't See Me: Physical Removal Attacks on LiDAR-based Autonomous Vehicles Driving Frameworks
SpanDex: Secure Password Tracking for Android
A4NT: Author Attribute Anonymity by Adversarial Training of Neural Machine Translation
Prêt à Voter with Confirmation Codes
ICSFuzz: Manipulating I/Os and Repurposing Binary Code to Enable Instrumented Fuzzing in ICS Control Applications
Back to School: On the (In)Security of Academic VPNs
Digital Security Perceptions and Practices Around the World: A WEIRD versus Non-WEIRD Comparison
Anatomy of a High-Profile Data Breach: Dissecting the Aftermath of a Crypto-Wallet Case
Going through the motions: AR/VR keylogging from user head motions
Understanding the Security Properties of Ballot-Based Verification Techniques
2016 USENIX Workshop on Advances in Security Education (ASE 16), Austin, TX, USA, August 9, 2016
Distance-Aware Private Set Intersection
An Efficient Design of Intelligent Network Data Plane
Memory Safety for Low-Level Software/Hardware Interactions
Email Spoofing with SMTP Smuggling: How the Shared Email Infrastructures Magnify this Vulnerability
Pixel+ and Pixel++: Compact and Efficient Forward-Secure Multi-Signatures for PoS Blockchain Consensus
Secure Data Export and Auditing Using Data Diodes
Milk or Wine: Does Software Security Improve with Age?
GDMA: Fully Automated DMA Rehosting via Iterative Type Overlays
Stateful Greybox Fuzzing
DAFL: Directed Grey-box Fuzzing guided by Data Dependency
User Experiences on Network Testbeds
Dial-In Security Firewall Software
Automated Response Using System-Call Delay
SiamHAN: IPv6 Address Correlation Attacks on TLS Encrypted Traffic via Siamese Heterogeneous Graph Attention Network
A Highly Accurate Query-Recovery Attack against Searchable Encryption using Non-Indexed Documents
SoK: An Introspective Analysis of RPKI Security
Toward Instrumenting Network Warfare Competitions to Generate Labeled Datasets
Efficient Receipt-Free Ballot Casting Resistant to Covert Channels
Finite-State Analysis of SSL 3.0
Software Support for Software-Independent Auditing
28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019
Fingerprinting Obfuscated Proxy Traffic with Encapsulated TLS Handshakes
Linear Private Set Union from Multi-Query Reverse Private Membership Test
Relocate-Vote: Using Sparsity Information to Exploit Ciphertext Side-Channels
Scanned and Scammed: Insecurity by ObsQRity? Measuring User Susceptibility and Awareness of QR Code-Based Attacks
The Emperor's New Password Manager: Security Analysis of Web-based Password Managers
Parallelizing Universal Atomic Swaps for Multi-Chain Cryptocurrency Exchanges
The Conundrum of Declarative Security HTTP Response Headers: Lessons Learned
2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '09, Montreal, Canada, August 10-11, 2009
Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014
Practical Data Access Minimization in Trigger-Action Platforms
"I Cannot Write This Because It Violates Our Content Policy": Understanding Content Moderation Policies and User Experiences in Generative AI Products
D-Helix: A Generic Decompiler Testing Framework Using Symbolic Differentiation
Understanding How to Inform Blind and Low-Vision Users about Data Privacy through Privacy Question Answering Assistants
SledgeHammer: Amplifying Rowhammer via Bank-level Parallelism
Toward Findable, Accessible, Interoperable, and Reusable Cybersecurity Artifacts
Hiding Amongst the Clouds: A Proposal for Cloud-based Onion Routing
Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors
Phishing Attacks against Password Manager Browser Extensions
Brute Force Attack on UNIX Passwords with SIMD Computer
BLuEMan: A Stateful Simulation-based Fuzzing Framework for Open-Source RTOS Bluetooth Low Energy Protocol Stacks
LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules
Cybercasing the Joint: On the Privacy Implications of Geo-Tagging
One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval
Small World with High Risks: A Study of Security Threats in the npm Ecosystem
Erebus: Access Control for Augmented Reality Systems
Phasing: Private Set Intersection Using Permutation-based Hashing
Faster Secure Computation through Automatic Parallelization
SHiFT: Semi-hosted Fuzz Testing for Embedded Applications
How to Compare Bandwidth Constrained Two-Party Secure Messaging Protocols: A Quest for A More Efficient and Secure Post-Quantum Protocol
Differential Privacy Under Fire
Improving the Ability of Thermal Radiation Based Hardware Trojan Detection
Unleash the Simulacrum: Shifting Browser Realities for Robust Extension-Fingerprinting Prevention
Parallel Shuffling and Its Application to Prêt à Voter
Adversarial Preprocessing: Understanding and Preventing Image-Scaling Attacks in Machine Learning
Analyzing Group Communication for Preventing Accidental Data Leakage via Email
Applications and Challenges in Securing Time
Digtool: A Virtualization-Based Framework for Detecting Kernel Vulnerabilities
HAWatcher: Semantics-Aware Anomaly Detection for Appified Smart Homes
Are Consumers Willing to Pay for Security and Privacy of IoT Devices?
Cross Container Attacks: The Bewildered eBPF on Clouds
Max Attestation Matters: Making Honest Parties Lose Their Incentives in Ethereum PoS
Clinical Computer Security for Victims of Intimate Partner Violence
Point Break: A Study of Bandwidth Denial-of-Service Attacks against Tor
Is Your Wallet Snitching On You? An Analysis on the Privacy Implications of Web3
Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation
Active Hardware Metering for Intellectual Property Protection and Security
Automatic Policy Generation for Inter-Service Access Control of Microservices
Rethinking Access Control and Authentication for the Home Internet of Things (IoT)
A Metric for the Evaluation and Comparison of Keylogger Performance
Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks
Analysis of Privacy Protections in Fitness Tracking Social Networks -or- You can run, but can you hide?
Network Responses to Russia's Invasion of Ukraine in 2022: A Cautionary Tale for Internet Freedom
Lock It and Still Lose It - on the (In)Security of Automotive Remote Keyless Entry Systems
Building Intrusion-Tolerant Applications
Public vs. Publicized: Content Use Trends and Privacy Expectations
DNN-GP: Diagnosing and Mitigating Model's Faults Using Latent Concepts
Improving Indirect-Call Analysis in LLVM with Type and Data-Flow Co-Analysis
Defining "Broken": User Experiences and Remediation Tactics When Ad-Blocking or Tracking-Protection Tools Break a Website's User Experience
Johnny Can Obfuscate: Beyond Mother's Maiden Name
Baaz: A System for Detecting Access Control Misconfigurations
Mining Node.js Vulnerabilities via Object Dependence Graph and Query
Usability Analysis of Helios - An Open Source Verifiable Remote Electronic Voting System
Lemon: Network-Wide DDoS Detection with Routing-Oblivious Per-Flow Measurement
Vaulted VPN: Compartmented Virtual Private Networks on Trusted Operating SystemsTse-Huong Choo, Hewlett-Packard Laboratories
WebGraph: Capturing Advertising and Tracking Information Flows for Robust Blocking
I Forgot Your Password: Randomness Attacks Against PHP Applications
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries
Blind In/On-Path Attacks and Applications to VPNs
ICSPatch: Automated Vulnerability Localization and Non-Intrusive Hotpatching in Industrial Control Systems using Data Dependence Graphs
NAVEX: Precise and Scalable Exploit Generation for Dynamic Web Applications
Raccoon Attack: Finding and Exploiting Most-Significant-Bit-Oracles in TLS-DH(E)
An Investigation of the Android Kernel Patch Ecosystem
Forecasting Malware Capabilities From Cyber Attack Memory Images
Virtual Machine Introspection in a Hybrid Honeypot Architecture
Can I Hear Your Face? Pervasive Attack on Voice Authentication Systems with a Single Face Image
Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts
Making Ballot Language Understandable to Voters
Why (Special Agent) Johnny (Still) Can't Encrypt: A Security Analysis of the APCO Project 25 Two-Way Radio System
VoteAgain: A scalable coercion-resistant voting system
Mentoring Talent in IT Security-A Case Study
Understand Users' Privacy Perception and Decision of V2X Communication in Connected Autonomous Vehicles
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
Sensor Network Security: More Interesting Than You Think
ZigZag: Automatically Hardening Web Applications Against Client-side Validation Vulnerabilities
2nd USENIX Workshop on Offensive Technologies, WOOT'08, San Jose, CA, USA, July 28, 2008, Proceedings
µFUZZ: Redesign of Parallel Fuzzing using Microservice Architecture
Rendered Private: Making GLSL Execution Uniform to Prevent WebGL-based Browser Fingerprinting
Applying a Reusable Election Threat Model at the County Level
Enhanced Operating System Security Through Efficient and Fine-grained Address Space Randomization
The Decline of Social Media Censorship and the Rise of Self-Censorship after the 2016 Failed Turkish Coup
Squirrel: A Scalable Secure Two-Party Computation Framework for Training Gradient Boosting Decision Tree
Independent One-Time Passwords
Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007
ROTE: Rollback Protection for Trusted Execution
APICraft: Fuzz Driver Generation for Closed-source SDK Libraries
Identity Confusion in WebView-based Mobile App-in-app Ecosystems
On the effectiveness of mitigations against floating-point timing channels
The aftermath of a crypto-ransomware attack at a large academic institution
Loophole: Timing Attacks on Shared Event Loops in Chrome
Detecting and Handling IoT Interaction Threats in Multi-Platform Multi-Control-Channel Smart Homes
DONAPI: Malicious NPM Packages Detector using Behavior Sequence Knowledge Mapping
CoreCrisis: Threat-Guided and Context-Aware Iterative Learning and Fuzzing of 5G Core Networks
A Research Framework and Initial Study of Browser Security for the Visually Impaired
Implantable Medical Device Communication Security: Pattern vs. Signal Encryption
10th USENIX Security Symposium, August 13-17, 2001, Washington, D.C., USA
Autograph: Toward Automated, Distributed Worm Signature Detection
AURC: Detecting Errors in Program Code and Documentation
Jail, Hero or Drug Lord? Turning a Cyber Security Course Into an 11 Week Choose Your Own Adventure Story
A Framework for Designing Provably Secure Steganography
An Open-Source Cryptographic Coprocessor
The Gates of Time: Improving Cache Attacks with Transient Execution
Devil in the Room: Triggering Audio Backdoors in the Physical World
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
SparSamp: Efficient Provably Secure Steganography Based on Sparse Sampling
Improved Support for Machine-assisted Ballot-level Audits
Current Affairs: A Security Measurement Study of CCS EV Charging Deployments
SoK: So, You Think You Know All About Secure Randomized Caches?
The Ransomware Decade: The Creation of a Fine-Grained Dataset and a Longitudinal Study
Investigating Commercial Pay-Per-Install and the Distribution of Unwanted Software
Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
TrustBase: An Architecture to Repair and Strengthen Certificate-based Authentication
BareCloud: Bare-metal Analysis-based Evasive Malware Detection