yusuke1997/dblp-id-title huggingface dataset:
Ring Referral: Efficient Publicly Verifiable Ad hoc Credential Scheme with Issuer and Strong User Anonymity for Decentralized Identity and More
Passing Go with DNA Sequencing: Delivering Messages in a Covert Transgenic Channel
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
Reasoning About Security Models
S$A: A Shared Cache Attack That Works across Cores and Defies VM Sandboxing - and Its Application to AES
Detecting Intrusions using System Calls: Alternative Data Models
The Final Nail in WEP's Coffin
Not-So-Random Numbers in Virtualized Linux and the Whirlwind RNG
Piccolo: Exposing Complex Backdoors in NLP Transformer Models
Breaking the Barrier: Post-Barrier Spectre Attacks
Formal methods in the THETA kernel
A Rusty Link in the AI Supply Chain: Detecting Evil Configurations in Model Repositories
Spurt: Scalable Distributed Randomness Beacon with Transparent Setup
2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017
Security Models and Information Flow
SoK: A Comprehensive Analysis and Evaluation of Docker Container Attack and Defense Mechanisms
A Practical Revocation Scheme for Broadcast Encryption Using Smart Cards
SecureML: A System for Scalable Privacy-Preserving Machine Learning
An Ideal-Security Protocol for Order-Preserving Encoding
From Chatbots to Phishbots?: Phishing Scam Generation in Commercial Large Language Models
Gesture Authentication for Smartphones: Evaluation of Gesture Password Selection Policies
Dynamic Searchable Encryption via Blind Storage
Security Kernels: A Solution or a Problem?
A fault tolerance approach to computer viruses
The Hierarchical Model of Distributed System Security
Security Enhancement through Product Evaluation
Mixnets on a Tightrope: Quantifying the Leakage of Mix Networks Using a Provably Optimal Heuristic Adversary
Research Report: Parsing PEGs with Length Fields in Software and Hardware
Redactable Blockchain in the Permissionless Setting
SQUIP: Exploiting the Scheduler Queue Contention Side Channel
On the Safety Implications of Misordered Events and Commands in IoT Systems
OHIE: Blockchain Scaling Made Simple
The Restricted Access Processor An Example of Formal Verification
Data Privacy in Trigger-Action Systems
Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements
You Talk Too Much: Limiting Privacy Exposure Via Voice Input
Silencing Hardware Backdoors
BadVFL: Backdoor Attacks in Vertical Federated Learning
XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets
A Machine Learning Approach to Prevent Malicious Calls over Telephony Networks
ShadowNet: A Secure and Efficient On-device Model Inference System for Convolutional Neural Networks
HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems
I Think They're Trying to Tell Me Something: Advice Sources and Selection for Digital Security
Improved Reconstruction Attacks on Encrypted Data Using Range Query Leakage
A Public and Reproducible Assessment of the Topics API on Real Data
Reducing Timing Channels with Fuzzy Time
P2U: A Privacy Policy Specification Language for Secondary Data Sharing and Usage
"Why Would Money Protect me from Cyber Bullying?": A Mixed-Methods Study of Personal Cyber Insurance
To Auth or Not To Auth? A Comparative Analysis of the Pre- and Post-Login Security Landscape
Adversarial 3D Virtual Patches using Integrated Gradients
Constructively Using Noninterference to Analyze Systems
Information Flow Analysis of Formal Specifications
AVA: Inconspicuous Attribute Variation-based Adversarial Attack bypassing DeepFake Detection
Multinet Gateway-Towards A1 Certification
Lurking in the Shadows: Identifying Systemic Threats to Kernel Data
Cauchyproofs: Batch-Updatable Vector Commitment with Easy Aggregation and Application to Stateless Blockchains
MEA-Defender: A Robust Watermark against Model Extraction Attack
TASHAROK: Using Mechanism Design for Enhancing Security Resource Allocation in Interdependent Systems
What We Talk About When We Talk About Logs: Understanding the Effects of Dataset Quality on Endpoint Threat Detection Research
An Integrated Formal Approach to Usage Control
SHARK: Actively Secure Inference Using Function Secret Sharing
Synthesizing Plausible Privacy-Preserving Location Traces
Integrating security in CORBA based object architectures
An Attack on TON's ADNL Secure Channel Protocol
Software Technology of the Future
Holepunch: Fast, Secure File Deletion with Crash Consistency
Automatically Detecting Variability Bugs Through Hybrid Control and Data Flow Analysis
Kobold: Evaluating Decentralized Access Control for Remote NSXPC Methods on iOS
On the Personalization of Trust Management
FuzzUSB: Hybrid Stateful Fuzzing of USB Gadget Stacks
Why Does Your Data Leak? Uncovering the Data Leakage in Cloud from Mobile Apps
Genomic Privacy and Direct-to-Consumer Genetics: Big Consumer Genetic Data - What's in that Contract?
Probabilistic Interference
Insider Threat Cybersecurity Framework Webtool & Methodology: Defending Against Complex Cyber-Physical Threats
Blue's Clues: Practical Discovery of Non-Discoverable Bluetooth Devices
HoneyKube: Designing and Deploying a Microservices-based Web Honeypot
DifuzzRTL: Differential Fuzz Testing to Find CPU Bugs
SensorID: Sensor Calibration Fingerprinting for Smartphones
Variable Noise Effects Upon a Simple Timing Channel
A System Architecture to Support a Verifiably Secure Multilevel Security System
On the Difficulty of Computing Logarithms Over GF(q m )
Self-nonself discrimination in a computer
A Hybrid Framework for Data Loss Prevention and Detection
Low-Cost Privilege Separation with Compile Time Compartmentalization for Embedded Systems
Security Analysis of Wearable Smart Health Devices and Their Companion Apps
Required Cryptographic Authentication Criteria for Electronic Funds Transfer Systems
Analysis of the Susceptibility of Smart Home Programming Interfaces to End User Error
Optimal Flexible Consensus and its Application to Ethereum
A New Security Testing Method and Its Application to the Secure Xenix Kernel
BADUSB-C: Revisiting BadUSB with Type-C
Privacy Preserving Data Analytics for Smart Homes
SwiftRange: A Short and Efficient Zero-Knowledge Range Argument For Confidential Transactions and More
Automated Analysis of Security-Critical JavaScript APIs
SoK: Taxonomy of Attacks on Open-Source Software Supply Chains
DynPTA: Combining Static and Dynamic Analysis for Practical Selective Data Protection
FP-STALKER: Tracking Browser Fingerprint Evolutions
Network Flow Watermarking Attack on Low-Latency Anonymous Communication Systems
Many-out-of-Many Proofs and Applications to Anonymous Zether
Asm2Vec: Boosting Static Representation Robustness for Binary Clone Search against Code Obfuscation and Compiler Optimization
Siren: Catching Evasive Malware (Short Paper)
VerITAS: Verifying Image Transformations at Scale
SCAD: Towards a Universal and Automated Network Side-Channel Vulnerability Detection
Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis
Locally Differentially Private Frequency Estimation Based on Convolution Framework
Armor Within: Defending Against Vulnerabilities in Third-Party Libraries
Examining the Robustness of Machine Learning-Based Phishing Website Detection: Action-Masked Reinforcement Learning for Automated Red Teaming
Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call Specialization
SoK: Introspections on Trust and the Semantic Gap
Cryptographic Security for Mobile Code
Multi-touch Authentication Using Hand Geometry and Behavioral Information
Demo: Security of Deep Learning based Automated Lane Centering under Physical-World Attack
Inducing Wireless Chargers to Voice Out for Inaudible Command Attacks
You Get Where You're Looking for: The Impact of Information Sources on Code Security
"Watching over the shoulder of a professional": Why Hackers Make Mistakes and How They Fix Them
Is MPC Secure? Leveraging Neural Network Classifiers to Detect Data Leakage Vulnerabilities in MPC Implementations
Fingerprinting Cryptographic Protocols with Key Exchange Using an Entropy Measure
Modifier Unlocked: Jailbreaking Text-to-Image Models Through Prompts
Toward Verified Execution Environments
HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images
Effects of Shared Bandwidth on Anonymity of the I2P Network Users
Readactor: Practical Code Randomization Resilient to Memory Disclosure
SWARMFLAWFINDER: Discovering and Exploiting Logic Flaws of Swarm Algorithms
Withdrawing is believing? Detecting Inconsistencies between Withdrawal Choices and Third-party Data Collections in Mobile Apps
Proceedings of the 1988 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 18-21, 1988
Signature-Free Atomic Broadcast with Optimal $O(n^{2})$ Messages and $O(1)$ Expected Time
Protection Goals for Privacy Engineering
SIFF: A Stateless Internet Flow Filter to Mitigate DDoS Flooding Attacks
"Only as Strong as the Weakest Link": On the Security of Brokered Single Sign-On on the Web
Trouble Over-The-Air: An Analysis of FOTA Apps in the Android Ecosystem
AutoCPS: Control Software Dataset Generation for Semantic Reverse Engineering
Security Attacks Abusing Pulse-level Quantum Circuits
Scripted Henchmen: Leveraging XS-Leaks for Cross-Site Vulnerability Detection
Sonar: Detecting SS7 Redirection Attacks with Audio-Based Distance Bounding
Full-Speed Fuzzing: Reducing Fuzzing Overhead through Coverage-Guided Tracing
Doubly-Efficient zkSNARKs Without Trusted Setup
The Failure of Noise-Based Non-continuous Audio Captchas
SoK: Integrity, Attestation, and Auditing of Program Execution
Access Control for the SPIN Extensible Operating System
vRAM: Faster Verifiable RAM with Program-Independent Preprocessing
Detecting Malicious Campaigns in Obfuscated JavaScript with Scalable Behavioral Analysis
Protected Process Light is not Protected: MemoryRanger Fills The Gap Again
Parameterizing Activation Functions for Adversarial Robustness
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
Few-shot Unlearning
Redeem Myself: Purifying Backdoors in Deep Learning Models using Self Attention Distillation
Query Provenance Analysis: Efficient and Robust Defense Against Query-Based Black-Box Attacks
Enumerating Active IPv6 Hosts for Large-Scale Security Scans via DNSSEC-Signed Reverse Zones
The Deductive Theory Manager: A Knowledge Based System for Formal Verification
Model Stealing Attacks Against Inductive Graph Neural Networks
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
Doppelgänger Finder: Taking Stylometry to the Underground
Timing Attacks Against Trusted Path
LINKTELLER: Recovering Private Edges from Graph Neural Networks via Influence Analysis
Token meets Wallet: Formalizing Privacy and Revocation for FIDO2
Design of a Role-Based Trust-Management Framework
Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data
A Formal Treatment of Accountable Proxying Over TLS
TxBox: Building Secure, Efficient Sandboxes with System Transactions
A logical language for specifying cryptographic protocol requirements
To Boldly Go Where No Fuzzer Has Gone Before: Finding Bugs in Linux' Wireless Stacks through VirtIO Devices
ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs
AI-Guardian: Defeating Adversarial Attacks using Backdoors
A Systematic Approach to Uncover Security Flaws in GUI Logic
Hardening Circuit-Design IP Against Reverse-Engineering Attacks
Information Flow in Nondeterministic Systems
SoK: Decentralized Finance (DeFi) Attacks
Collaborative Filtering with Privacy
ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing
Universal Atomic Swaps: Secure Exchange of Coins Across All Blockchains
SYMBEXCEL: Automated Analysis and Understanding of Malicious Excel 4.0 Macros
A Proposal for a Verification-Based Virus Filter
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
Holding intruders accountable on the Internet
A Smörgåsbord of Typos: Exploring International Keyboard Layout Typosquatting
Exploit the Last Straw That Breaks Android Systems
Usable Mandatory Integrity Protection for Operating Systems
SrcMarker: Dual-Channel Source Code Watermarking via Scalable Code Transformations
Scalable and Privacy-Preserving Federated Principal Component Analysis
Journey to the Center of the Cookie Ecosystem: Unraveling Actors' Roles and Relationships
DeepFake-o-meter: An Open Platform for DeepFake Detection
Side Channel Attacks in Computation Offloading Systems with GPU Virtualization
Attacking Byzantine Robust Aggregation in High Dimensions
EPScan: Automated Detection of Excessive RBAC Permissions in Kubernetes Applications
Using Views in a Multilevel Secure Database Management System
SNARKBlock: Federated Anonymous Blocklisting from Hidden Common Input Aggregate Proofs
Providing flexibility in information flow control for object oriented systems
A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages
Verifiable Boosted Tree Ensembles
A Formal Method for the Identification of Covert Storage Channels in Source Code
SoK: Secure Data Deletion
Gradual Release: Unifying Declassification, Encryption and Key Release Policies
Skilled or Gullibleƒ Gender Stereotypes Related to Computer Security and Privacy
NFCEraser: A Security Threat of NFC Message Modification Caused by Quartz Crystal Oscillator
Vitārit: Paying for Threshold Services on Bitcoin and Friends
Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning
Interactive History Sniffing with Dynamically-Generated QR Codes and CSS Difference Blending
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage
The Mastermind Attack on Genomic Data
On Security Flow Analysis in Computer Systems (Preliminary Report)
Quantifying Location Privacy
The Attack of the Clones: A Study of the Impact of Shared Code on Vulnerability Patching
Patchy Performance? Uncovering the Vulnerability Management Practices of IoT-Centric Vendors
Integrating an Object-Oriented Data Model with Multilevel Security
2018 IEEE Security and Privacy Workshops, SP Workshops 2018, San Francisco, CA, USA, May 24, 2018
A two snapshot algorithm for concurrency control in multi-level secure databases
Wirelessly Pickpocketing a Mifare Classic Card
Adaptive Real-Time Anomaly Detection Using Inductively Generated Sequential Patterns
Distillation as a Defense to Adversarial Perturbations Against Deep Neural Networks
Bicoptor: Two-round Secure Three-party Non-linear Computation without Preprocessing for Privacy-preserving Machine Learning
BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures
A Privacy Filter Framework for Internet of Robotic Things Applications
The Correctness-Security Gap in Compiler Optimization
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
Growlithe: A Developer-Centric Compliance Tool for Serverless Applications
Destabilizing a Social Network Model via Intrinsic Feedback Vulnerabilities
Ares: A System-Oriented Wargame Framework for Adversarial ML
A User-Centered, Modular Authorization Service Built on an RBAC Foundation
Shedding Light on CVSS Scoring Inconsistencies: A User-Centric Study on Evaluating Widespread Security Vulnerabilities
Weak Fiat-Shamir Attacks on Modern Proof Systems
HackEd: A Pedagogical Analysis of Online Vulnerability Discovery Exercises
ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks
Mechanized Type Safety for Gradual Information Flow
Your Censor is My Censor: Weaponizing Censorship Infrastructure for Availability Attacks
The Peril of Fragmentation: Security Hazards in Android Device Driver Customizations
Writing Parsers Like it is 2017
Scaphy: Detecting Modern ICS Attacks by Correlating Behaviors in SCADA and PHYsical
Symbol Security Condition Considered Harmful
Cerberus: Enabling Efficient and Effective In-Network Monitoring on Programmable Switches
Inference Attacks for X-Vector Speaker Anonymization
SoK: A Privacy Framework for Security Research Using Social Media Data
Optimized Honest-Majority MPC for Malicious Adversaries - Breaking the 1 Billion-Gate Per Second Barrier
Use of Domain Knowledge to Detect Insider Threats in Computer Activities
Investigating Package Related Security Threats in Software Registries
Security Considerations for Autonomous Robots
Specification-to-Code Correlation
"Check-Before-you-Solve": Verifiable Time-Lock Puzzles
OdScan: Backdoor Scanning for Object Detection Models
Concept-based Adversarial Attacks: Tricking Humans and Classifiers Alike
SoK: Differential Privacy as a Causal Property
Data to Infinity and Beyond: Examining Data Sharing and Reuse Practices in the Computer Security Community
A Representative Study on Human Detection of Artificially Generated Media Across Countries
Nom, A Byte oriented, streaming, Zero copy, Parser Combinators Library in Rust
An Analysis of the Differences Between the Computer Security Practices in the Military and Private Sectors
IRShield: A Countermeasure Against Adversarial Physical-Layer Wireless Sensing
ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs
CMASan: Custom Memory Allocator-aware Address Sanitizer
Emoji shellcoding in RISC-V
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs
QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma
A Communication Agreement Framework for Access/Action Control
SEVurity: No Security Without Integrity : Breaking Integrity-Free Memory Encryption with Minimal Assumptions
A Picture is Worth 500 Labels: A Case Study of Demographic Disparities in Local Machine Learning Models for Instagram and TikTok
SHADEWATCHER: Recommendation-guided Cyber Threat Analysis using System Audit Records
Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes
Hyena: Balancing Packing, Reuse, and Rotations for Encrypted Inference
On the Secrecy of Timing-Based Active Watermarking Trace-Back Techniques
A Survey of Parser Differential Anti-Patterns
Addressing Early Life Cycle Privacy Risk: Applying System-Theoretic Early Concept Analysis and Model-Based Systems Engineering to Privacy
Peek-a-Walk: Leaking Secrets via Page Walk Side Channels
Portal: Fast and Secure Device Access with Arm CCA for Modern Arm Mobile System-on-Chips (SoCs)
The Design of Secure CPU-Multiplexed Computer Systems: The Master/Slave Architecture
Hakuin: Optimizing Blind SQL Injection with Probabilistic Language Models
Machine Learning Based Approach for the Automated Mapping of Discovered Vulnerabilities to Adversial Tactics
Is Nobody There? Good! Globally Measuring Connection Tampering Without Responsive Endhosts
Cryptography in the Web: The Case of Cryptographic Design Flaws in ASP.NET
The Importance of Being Earnest: Shedding Light on Johnny's (False) Sense of Privacy
Less is more: refinement proofs for probabilistic proofs
LeoDroid: An LLM-Based Few-Shot Multi-Label Detection for Android Malware
Protection in the OSKAR Operating System: Goals, Concepts, Conseqeuences
EC: Embedded Systems Compartmentalization via Intra-Kernel Isolation
Flaw Label: Exploiting IPv6 Flow Label
Weird Machines in Package Managers: A Case Study of Input Language Complexity and Emergent Execution in Software Systems
Automatic Uncovering of Hidden Behaviors From Input Validation in Mobile Apps
2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, May 17-21, 2015
Efficient Zero-Knowledge Arguments For Paillier Cryptosystem
Defending Language Models Against Image-Based Prompt Attacks via User-Provided Specifications
Cornucopia: Temporal Safety for CHERI Heaps
Security Analysis of Networked 3D Printers
Reasoning Analytically about Password-Cracking Software
Formal Treatment of Certificate Revocation under Communal Access Control
FSAFlow: Lightweight and Fast Dynamic Path Tracking and Control for Privacy Protection on Android Using Hybrid Analysis with State-Reduction Strategy
Cryptographic Key Generation from Voice
Protecting Shared Cryptographic Keys
An Analysis of Recent Advances in Deepfake Image Detection in an Evolving Threat Landscape
Never Ending Story: Authentication and Access Control Design Flaws in Shared IoT Devices
A Framework for Validating Session Protocols
EnclaveDB: A Secure Database Using SGX
Blind Seer: A Scalable Private DBMS
Rigging the Foundation: Manipulating Pre-training for Advanced Membership Inference Attacks
Smart Speaker Privacy Control - Acoustic Tagging for Personal Voice Assistants
Privacy Leakage via Unrestricted Motion-Position Sensors in the Age of Virtual Reality: A Study of Snooping Typed Input on Virtual Keyboards
Toward Acceptable Metrics of Authentication
Language-Based Generation and Evaluation of NIDS Signatures
Blind Certificate Authorities
Pseudorandom Black Swans: Cache Attacks on CTR_DRBG
An Authorization Scheme For Distributed Object Systems
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
Achieving stricter correctness requirements in multilevel secure databases
xMP: Selective Memory Protection for Kernel and User Space
A Proof-Carrying File System
High-Speed Inter-Domain Fault Localization
Training Solo: On the Limitations of Domain Isolation Against Spectre-v2 Attacks
Processor-per-Domain Guard Architecture
LOMAC: Low Water-Mark Integrity Protection for COTS Environments
Privacy in Online Review Sites
Security Properties and CSP
Public Verification for Private Hash Matching
Tracking Ransomware End-to-end
SoK: Shining Light on Shadow Stacks
Specifying and Verifying Hardware for Tamper-Resistant Software
Methods and Limitations of Security Policy Reconciliation
Attacks on Computers: Congressional Hearings and Pending Legislation
2003 IEEE Symposium on Security and Privacy (S&P 2003), 11-14 May 2003, Berkeley, CA, USA
Multiple Handshakes Security of TLS 1.3 Candidates
Humpty Dumpty: Controlling Word Meanings via Corpus Poisoning
Multi-Tiered Approach to System Security
An Augmented Capability Architecture to Support Lattice Security and Traceability of Access
SentiNet: Detecting Localized Universal Attacks Against Deep Learning Systems
Jigsaw Puzzle: Selective Backdoor Attack to Subvert Malware Classifiers
Collaborative Ad Transparency: Promises and Limitations
Ghost Talk: Mitigating EMI Signal Injection Attacks against Analog Sensors
Resilience of Multi-robot Systems to Physical Masquerade Attacks
Attacking the IPsec Standards in Encryption-only Configurations
IronMask: Versatile Verification of Masking Security
HOLMES: Real-Time APT Detection through Correlation of Suspicious Information Flows
Differential Slicing: Identifying Causal Execution Differences for Security Applications
Surveylance: Automatically Detecting Online Survey Scams
TSQP: Safeguarding Real-Time Inference for Quantization Neural Networks on Edge Devices
Cracking-Resistant Password Vaults Using Natural Language Encoders
Is FIDO2 the Kingslayer of User Authentication? A Comparative Usability Study of FIDO2 Passwordless Authentication
CSI:Rowhammer - Cryptographic Security and Integrity against Rowhammer
Pyfet: Forensically Equivalent Transformation for Python Binary Decompilation
SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis
Ex-vivo dynamic analysis framework for Android device drivers
Sparta: Practical Anonymity with Long-Term Resistance to Traffic Analysis
C3APSULe: Cross-FPGA Covert-Channel Attacks through Power Supply Unit Leakage
A Secure One-Way Hash Function Built from DES
Password Cracking Using Probabilistic Context-Free Grammars
SWATT: SoftWare-based ATTestation for Embedded Devices
Digital Security - A Question of Perspective A Large-Scale Telephone Survey with Four At-Risk User Groups
Group Oblivious Message Retrieval
Statistical Quantification of Differential Privacy: A Local Approach