Dawn Song

Evgenios M. Kornaropoulos

IACR Cryptol. ePrint Arch., 2020

Epione: Lightweight Contact Tracing with Strong Privacy.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2020

BeeTrace: A Unified Platform for Secure Contact Tracing that Breaks Data Silos.

[BibT_eX]

[DOI]

Xiaoyuan Liu

Ni Trieu

IEEE Data Eng. Bull., 2020

PrivFramework: A System for Configurable and Automated Privacy Policy Compliance.

[BibT_eX]

[DOI]

Usmann Khan

Lun Wang

Jithendaraa Subramanian

CoRR, 2020

Towards Defending Multiple Adversarial Perturbations via Gated Batch Normalization.

[BibT_eX]

[DOI]

CoRR, 2020

Language Models are Open Knowledge Graphs.

[BibT_eX]

[DOI]

Chenguang Wang

Xiao Liu

CoRR, 2020

F2ED-Learning: Good Fences Make Good Neighbors.

[BibT_eX]

[DOI]

CoRR, 2020

Model-Agnostic Round-Optimal Federated Learning via Knowledge Transfer.

[BibT_eX]

[DOI]

Qinbin Li

Bingsheng He

CoRR, 2020

A Principled Approach to Data Valuation for Federated Learning.

[BibT_eX]

[DOI]

CoRR, 2020

Anomalous Instance Detection in Deep Learning: A Survey.

[BibT_eX]

[DOI]

CoRR, 2020

Proceedings of the AAAI-20 Workshop on Intelligent Process Automation (IPA-20).

[BibT_eX]

[DOI]

CoRR, 2020

Anomalous Example Detection in Deep Learning: A Survey.

[BibT_eX]

[DOI]

IEEE Access, 2020

FalconDB: Blockchain-based Collaborative Database.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Management of Data, 2020

Towards practical differentially private causal graph discovery.

[BibT_eX]

[DOI]

Lun Wang

Qi Pang

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis.

[BibT_eX]

[DOI]

Kavi Gupta

Peter Ebert Christensen

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Compositional Generalization via Neural-Symbolic Stack Machines.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Robust anomaly detection and backdoor attack detection via differential privacy.

[BibT_eX]

[DOI]

Min Du

Ruoxi Jia

Proceedings of the 8th International Conference on Learning Representations, 2020

Neural Symbolic Reader: Scalable Integration of Distributed and Symbolic Representations for Reading Comprehension.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Towards Inspecting and Eliminating Trojan Backdoors in Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Data Mining, 2020

Keystone: an open framework for architecting trusted execution environments.

[BibT_eX]

[DOI]

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms.

[BibT_eX]

[DOI]

Joseph M. Hellerstein

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

Imitation Attacks and Defenses for Black-box Machine Translation Systems.

[BibT_eX]

[DOI]

Eric Wallace

Mitchell Stern

Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

The Secret Revealer: Generative Model-Inversion Attacks Against Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Zero Knowledge Proofs for Decision Tree Predictions and Accuracy.

[BibT_eX]

[DOI]

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

AI and Security: Lessons, Challenges and Future Directions.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

Pretrained Transformers Improve Out-of-Distribution Robustness.

[BibT_eX]

[DOI]

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019

Efficient Task-Specific Data Valuation for Nearest Neighbor Algorithms.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation.

[BibT_eX]

[DOI]

Tiancheng Xie

Jiaheng Zhang

Yupeng Zhang

Charalampos Papamanthou

IACR Cryptol. ePrint Arch., 2019

CHURP: Dynamic-Committee Proactive Secret Sharing.

[BibT_eX]

[DOI]

Sai Krishna Deepak Maram

IACR Cryptol. ePrint Arch., 2019

Sanctorum: A lightweight security monitor for secure enclaves.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Hierarchical Variational Imitation Learning of Control Programs.

[BibT_eX]

[DOI]

CoRR, 2019

Advances and Open Problems in Federated Learning.

[BibT_eX]

[DOI]

Rafael G. L. D'Oliveira

Ananda Theertha Suresh

CoRR, 2019

A Benchmark for Anomaly Segmentation.

[BibT_eX]

[DOI]

Dan Hendrycks

Steven Basart

Mantas Mazeika

Mohammadreza Mostajabi

Jacob Steinhardt

Dimitris S. Papailiopoulos

CoRR, 2019

An Empirical and Comparative Analysis of Data Valuation with Scalable Algorithms.

[BibT_eX]

[DOI]

CoRR, 2019

TABOR: A Highly Accurate Approach to Inspecting and Restoring Trojan Backdoors in AI Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Keystone: A Framework for Architecting TEEs.

[BibT_eX]

[DOI]

CoRR, 2019

Characterizing Attacks on Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2019

How You Act Tells a Lot: Privacy-Leakage Attack on Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2019

SysML: The New Frontier of Machine Learning Systems.

[BibT_eX]

[DOI]

Alexandros G. Dimakis

Anastasios Kyrillidis

Shivaram Venkataraman

CoRR, 2019

Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations.

[BibT_eX]

[DOI]

Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2019

DEEPVSA: Facilitating Value-set Analysis with Deep Learning for Postmortem Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

The Secret Sharer: Evaluating and Testing Unintended Memorization in Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

Towards Practical Differentially Private Convex Optimization.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

REINAM: reinforcement learning for input-grammar inference.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Using Self-Supervised Learning Can Improve Model Robustness and Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Characterizing and Detecting Malicious Accounts in Privacy-Centric Mobile Social Networks: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

Characterizing Audio Adversarial Examples Using Temporal Dependency.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Learning Representations, 2019

Synthetic Datasets for Neural Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Learning Representations, 2019

GamePad: A Learning Environment for Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Learning Representations, 2019

Execution-Guided Neural Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Learning Representations, 2019

AdvIT: Adversarial Frames Identifier Based on Temporal Consistency in Videos.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

Detecting Fake Accounts in Online Social Networks at the Time of Registrations.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Lifelong Anomaly Detection Through Unlearning.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

How You Act Tells a Lot: Privacy-Leaking Attack on Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Towards Efficient Data Valuation Based on the Shapley Value.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

Impossibility of Full Decentralization in Permissionless Blockchains.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM Conference on Advances in Financial Technologies, 2019

2018

Towards Practical Differential Privacy for SQL Queries.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2018

A Demonstration of Sterling: A Privacy-Preserving Data Marketplace.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2018

Data Poisoning Attack against Unsupervised Node Embedding Methods.

[BibT_eX]

[DOI]

CoRR, 2018

Assessing Generalization in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2018

Chorus: Differential Privacy via Query Rewriting.

[BibT_eX]

[DOI]

Joseph M. Hellerstein

CoRR, 2018

Efficient Deep Learning on Multi-Source Private Data.

[BibT_eX]

[DOI]

Nick Hynes

Raymond Cheng

CoRR, 2018

Curriculum Adversarial Training.

[BibT_eX]

[DOI]

CoRR, 2018

Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution.

[BibT_eX]

[DOI]

CoRR, 2018

The Secret Sharer: Measuring Unintended Neural Network Memorization & Extracting Secrets.

[BibT_eX]

[DOI]

CoRR, 2018

Physical Adversarial Examples for Object Detectors.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Workshop on Offensive Technologies, 2018

A Machine Learning Approach to Prevent Malicious Calls over Telephony Networks.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Adversarial Examples for Generative Models.

[BibT_eX]

[DOI]

Jernej Kos

Ian Fischer

Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018

Improving Neural Program Synthesis with Inferred Execution Traces.

[BibT_eX]

[DOI]

Illia Polosukhin

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Tree-to-tree Neural Networks for Program Translation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

PerfFuzz: automatically generating pathological inputs.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Generating Adversarial Examples with Adversarial Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Curriculum Adversarial Training.

[BibT_eX]

[DOI]

Qi-Zhi Cai

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Spatially Transformed Adversarial Examples.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Learning Representations, 2018

Towards Specification-Directed Program Repair.

[BibT_eX]

[DOI]

Illia Polosukhin

Proceedings of the 6th International Conference on Learning Representations, 2018

Differentiable Neural Network Architecture Search.

[BibT_eX]

[DOI]

Charles Packer

Proceedings of the 6th International Conference on Learning Representations, 2018

Gradients explode - Deep Networks are shallow - ResNet explained.

[BibT_eX]

[DOI]

George Philipp

Sudanthi N. R. Wijewickrema

Jaime G. Carbonell

Proceedings of the 6th International Conference on Learning Representations, 2018

Characterizing Adversarial Subspaces Using Local Intrinsic Dimensionality.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Learning Representations, 2018

Decision Boundary Analysis of Adversarial Examples.

[BibT_eX]

[DOI]

Warren He

Bo Li

Proceedings of the 6th International Conference on Learning Representations, 2018

Parametrized Hierarchical Procedures for Neural Programming.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Learning Representations, 2018

Towards Synthesizing Complex Programs From Input-Output Examples.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Learning Representations, 2018

Black-box Attacks on Deep Neural Networks via Gradient Estimation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Learning Representations, 2018

Characterizing Adversarial Examples Based on Spatial Consistency Information for Semantic Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2018, 2018

Practical Black-Box Attacks on Deep Neural Networks Using Efficient Query Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2018, 2018

Fooling Vision and Language Models Despite Localization and Attention Mechanism.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

Robust Physical-World Attacks on Deep Learning Visual Classification.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

DeepMem: Learning Graph Neural Network Models for Fast and Robust Memory Forensic Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Code-pointer integrity.

[BibT_eX]

[DOI]

Proceedings of the Continuing Arms Race: Code-Reuse Attacks and Defenses, 2018

2017

Distributed Private Data Analysis: Lower Bounds and Practical Constructions.

[BibT_eX]

[DOI]

Eleanor Gilbert Rieffel

ACM Trans. Algorithms, 2017

Exploring the Space of Black-box Attacks on Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2017

Note on Attacking Object Detectors with Adversarial Stickers.

[BibT_eX]

[DOI]

CoRR, 2017

A Berkeley View of Systems Challenges for AI.

[BibT_eX]

[DOI]

Joseph M. Hellerstein

CoRR, 2017

Targeted Backdoor Attacks on Deep Learning Systems Using Data Poisoning.

[BibT_eX]

[DOI]

CoRR, 2017

SQLNet: Generating Structured Queries From Natural Language Without Reinforcement Learning.

[BibT_eX]

[DOI]

Xiaojun Xu

CoRR, 2017

Can you fool AI with adversarial examples on a visual Turing test?

[BibT_eX]

[DOI]

CoRR, 2017

Practical Differential Privacy for SQL Queries Using Elastic Sensitivity.

[BibT_eX]

[DOI]

CoRR, 2017

Adversarial Example Defenses: Ensembles of Weak Defenses are not Strong.

[BibT_eX]

[DOI]

CoRR, 2017

Robust Physical-World Attacks on Machine Learning Models.

[BibT_eX]

[DOI]

CoRR, 2017

Learning Neural Programs To Parse Programs.

[BibT_eX]

[DOI]

CoRR, 2017

Using EEG-Based BCI Devices to Subliminally Probe for Private Information.

[BibT_eX]

[DOI]

Proceedings of the 2017 on Workshop on Privacy in the Electronic Society, Dallas, TX, USA, October 30, 2017

Adversarial Example Defense: Ensembles of Weak Defenses are not Strong.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Workshop on Offensive Technologies, 2017

Delving into Transferable Adversarial Examples and Black-box Attacks.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Learning Representations, 2017

Delving into adversarial attacks on deep policies.

[BibT_eX]

[DOI]

Jernej Kos

Proceedings of the 5th International Conference on Learning Representations, 2017

Making Neural Programming Architectures Generalize via Recursion.

[BibT_eX]

[DOI]

Jonathon Cai

Proceedings of the 5th International Conference on Learning Representations, 2017

PIANO: Proximity-Based User Authentication on Voice-Powered Internet-of-Things Devices.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

The Honey Badger of BFT Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Latent Attention For If-Then Program Synthesis.

[BibT_eX]

[DOI]

Mingcheng Chen

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

VTrust: Regaining Trust on Virtual Calls.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

ExploreKit: Automatic Feature Generation and Selection.

[BibT_eX]

[DOI]

Gilad Katz

Proceedings of the IEEE 16th International Conference on Data Mining, 2016

Formal verification for computer security: Lessons learned and future directions.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

On Scaling Decentralized Blockchains - (A Position Paper).

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2016

Smart Locks: Lessons for Securing Commodity Internet of Things Devices.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

2015

Recognizing Functions in Binaries with Neural Networks.

[BibT_eX]

[DOI]

Reza Moazzezi

Proceedings of the 24th USENIX Security Symposium, 2015

The Correctness-Security Gap in Compiler Optimization.

[BibT_eX]

[DOI]

Vijay D'Silva

Mathias Payer

Proceedings of the 2015 IEEE Symposium on Security and Privacy Workshops, 2015

VTint: Protecting Virtual Function Tables' Integrity.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

JITScope: Protecting web users from control-flow hijacking attacks.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

ASPIRE: Iterative Specification Synthesis for Security.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

Joint Link Prediction and Attribute Inference Using a Social-Attribute Network.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2014

Clickjacking Revisited: A Perceptual View of UI Security.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Workshop on Offensive Technologies, 2014

The Emperor's New Password Manager: Security Analysis of Web-based Password Managers.

[BibT_eX]

[DOI]

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

Code-Pointer Integrity.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

ShadowCrypt: Encrypted Web Applications for Everyone.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Automatic Malware Analysis - An Emulator Based Approach.

[BibT_eX]

[DOI]

Heng Yin

Springer Briefs in Computer Science, Springer, ISBN: 978-1-4614-5523-3, 2013

Touchalytics: On the Applicability of Touchscreen Input as a Behavioral Biometric for Continuous Authentication.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2013

Reciprocity in Social Networks: Measurements, Predictions, and Implications

[BibT_eX]

[DOI]

Neil Zhenqiang Gong

Wenchang Xu

CoRR, 2013

Subliminal Probing for Private Information via EEG-Based BCI Devices.

[BibT_eX]

[DOI]

CoRR, 2013

Automatic protocol reverse-engineering: Message format extraction and field semantics inference.

[BibT_eX]

[DOI]

Juan Caballero

Comput. Networks, 2013

Practical Control Flow Integrity and Randomization for Binary Executables.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

SoK: Eternal War in Memory.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

SAFE: Secure authentication with Face and Eyes.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Privacy and Security in Mobile Systems, 2013

Understanding Mobile App Usage Patterns Using In-App Advertisements.

[BibT_eX]

[DOI]

Proceedings of the Passive and Active Measurement - 14th International Conference, 2013

Preserving Link Privacy in Social Network Based Systems.

[BibT_eX]

[DOI]

Prateek Mittal

Charalampos Papamanthou

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Contextual Policy Enforcement in Android Applications with Permission Event Graphs.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

BLITZ: Compositional bounded model checking for real-world programs.

[BibT_eX]

[DOI]

Chia Yuan Cho

Vijay D'Silva

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

NetworkProfiler: Towards automatic fingerprinting of Android apps.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2013, 2013

Data-Confined HTML5 Applications.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2013, 2013

PHANTOM: practical oblivious computation in a secure processor.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

A Learning-Based Approach to Reactive Security.

[BibT_eX]

[DOI]

Benjamin I. P. Rubinstein

IEEE Trans. Dependable Secur. Comput., 2012

Optimal Lower Bound for Differentially Private Multi-Party Aggregation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Recognizing malicious software behaviors with tree automata inference.

[BibT_eX]

[DOI]

Domagoj Babic

Daniel Reynaud

Formal Methods Syst. Des., 2012

Mining Permission Request Patterns from Android and Facebook Applications (extended author version)

[BibT_eX]

[DOI]

CoRR, 2012

Cloud Data Protection for the Masses.

[BibT_eX]

[DOI]

Computer, 2012

Context-centric Security.

[BibT_eX]

[DOI]

Proceedings of the 7th USENIX Workshop on Hot Topics in Security, 2012

On the Feasibility of Side-Channel Attacks with Brain-Computer Interfaces.

[BibT_eX]

[DOI]

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

Privilege Separation in HTML5 Applications.

[BibT_eX]

[DOI]

Devdatta Akhawe

Prateek Saxena

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

Cloud Terminal: Secure Access to Sensitive Applications from Untrusted Systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

On the Feasibility of Internet-Scale Author Identification.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2012

GUPT: privacy preserving data analysis made easy.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2012

Towards Practical Oblivious RAM.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

FreeMarket: Shopping for free in Android applications.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

Opaak: using mobile phones to limit anonymous identities online.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Mobile Systems, 2012

Evolution of social-attribute networks: measurements, modeling, and implications using google+.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGCOMM Internet Measurement Conference, 2012

Predicting Congressional Votes Based on Campaign Finance Data.

[BibT_eX]

[DOI]

Samuel Smith

Jae Yeon (Claire) Baek

Proceedings of the 11th International Conference on Machine Learning and Applications, 2012

Mining Permission Request Patterns from Android and Facebook Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Data Mining, 2012

Juxtapp: A Scalable System for Detecting Code Reuse among Android Applications.

[BibT_eX]

[DOI]

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2012

Path-exploration lifting: hi-fi tests for lo-fi emulators.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011

Private and Continual Release of Statistics.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2011

Remote data checking using provable data possession.

[BibT_eX]

[DOI]

Zachary N. J. Peterson

ACM Trans. Inf. Syst. Secur., 2011

TaintEraser: protecting sensitive data leaks using application-level taint tracking.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2011

Policy-Enhanced Private Set Intersection: Sharing Information While Enforcing Privacy Policies.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Privacy-Preserving Stream Aggregation with Fault Tolerance.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Secure Distributed Data Aggregation.

[BibT_eX]

[DOI]

Found. Trends Databases, 2011

Predicting Links and Inferring Attributes using a Social-Attribute Network (SAN)

[BibT_eX]

[DOI]

CoRR, 2011

How Open Should Open Source Be?

[BibT_eX]

[DOI]

Benjamin I. P. Rubinstein

Saung Li

CoRR, 2011

Towards Client-side HTML Security Policies.

[BibT_eX]

[DOI]

Joel Weinberger

Proceedings of the 6th USENIX Workshop on Hot Topics in Security, 2011

Take Two Software Updates and See Me in the Morning: The Case for Software Security Evaluations of Medical Devices.

[BibT_eX]

[DOI]

Steve Hanna

Rolf Rolles

Andres Molina-Markham

Proceedings of the 2nd USENIX Workshop on Health Security and Privacy, 2011

MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery.

[BibT_eX]

[DOI]

Proceedings of the 20th USENIX Security Symposium, 2011

Design and Evaluation of a Real-Time URL Spam Filtering Service.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Differential Slicing: Identifying Causal Execution Differences for Security Applications.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Privacy settings from contextual attributes: A case study using Google Buzz.

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

Privacy-Preserving Aggregation of Time-Series Data.

[BibT_eX]

[DOI]

Eleanor Gilbert Rieffel

Richard Chow

Proceedings of the Network and Distributed System Security Symposium, 2011

DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation.

[BibT_eX]

Proceedings of the Network and Distributed System Security Symposium, 2011

Statically-directed dynamic automated test generation.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Suspended accounts in retrospect: an analysis of twitter spam.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGCOMM Internet Measurement Conference, 2011

Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

A Systematic Analysis of XSS Sanitization in Web Application Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2011, 2011

Context-sensitive auto-sanitization in web templating languages using type qualifiers.

[BibT_eX]

[DOI]

Mike Samuel

Prateek Saxena

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Android permissions demystified.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Malware Analysis with Tree Automata Inference.

[BibT_eX]

[DOI]

Domagoj Babic

Daniel Reynaud

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Cyber SA: Situational Awareness for Cyber Defense.

[BibT_eX]

[DOI]

Proceedings of the Cyber Situational Awareness - Issues and Research, 2010

A Symbolic Execution Framework for JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2010

Binary Code Extraction and Interface Identification for Security Applications.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2010

Insights from the Inside: A View of Botnet Management from Infiltration.

[BibT_eX]

[DOI]

Proceedings of the 3rd USENIX Workshop on Large-Scale Exploits and Emergent Threats, 2010

Signatures of Reputation.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

HookScout: Proactive Binary-Centric Hook Detection.

[BibT_eX]

[DOI]

Proceedings of the Detection of Intrusions and Malware, 2010

Towards a Formal Foundation of Web Security.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

Inference and analysis of formal models of botnet command and control protocols.

[BibT_eX]

[DOI]

Chia Yuan Cho

Domagoj Babic

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

Input generation via decomposition and re-stitching: finding bugs in Malware.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

New Techniques for Private Stream Searching.

[BibT_eX]

[DOI]

Brent Waters

ACM Trans. Inf. Syst. Secur., 2009

Beyond Output Voting: Detecting Compromised Replicas Using HMM-Based Behavioral Distance.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2009

Cross-Origin JavaScript Capability Leaks: Detection, Exploitation, and Defense.

[BibT_eX]

[DOI]

Joel Weinberger

Proceedings of the 18th USENIX Security Symposium, 2009

Secure Content Sniffing for Web Browsers, or How to Stop Papers from Reviewing Themselves.

[BibT_eX]

[DOI]

Juan Caballero

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

Towards Generating High Coverage Vulnerability-Based Signatures with Protocol-Level Constraint-Guided Exploration.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Intrusion Detection, 12th International Symposium, 2009

Measuring channel capacity to distinguish undue influence.

[BibT_eX]

[DOI]

Stephen McCamant

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Tracking Dynamic Sources of Malicious Activity at Internet Scale.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7-10 December 2009, 2009

Document Structure Integrity: A Robust Basis for Cross-site Scripting Defense.

[BibT_eX]

[DOI]

Yacin Nadji

Prateek Saxena

Proceedings of the Network and Distributed System Security Symposium, 2009

Loop-extended symbolic execution on binary programs.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Emulating emulation-resistant malware.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM Workshop on Virtual Machine Security, 2009

Dispatcher: enabling active botnet infiltration using automatic protocol reverse-engineering.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

Automatically Identifying Trigger-based Behavior in Malware.

[BibT_eX]

[DOI]

Proceedings of the Botnet Detection: Countering the Largest Security Threat, 2008

Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2008

Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

HookFinder: Identifying and Understanding Malware Hooking Behaviors.

[BibT_eX]

[DOI]

Heng Yin

Zhenkai Liang

Proceedings of the Network and Distributed System Security Symposium, 2008

Limits of Learning-based Signature Generation with Adversaries.

[BibT_eX]

[DOI]

Shobha Venkataraman

Avrim Blum

Proceedings of the Network and Distributed System Security Symposium, 2008

Would Diversity Really Increase the Robustness of the Routing Infrastructure against Software Defects?

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2008

Analysis-Resistant Malware.

[BibT_eX]

[DOI]

Brent Waters

Proceedings of the Network and Distributed System Security Symposium, 2008

BitBlaze: A New Approach to Computer Security via Binary Analysis.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security, 4th International Conference, 2008

BinHunt: Automatically Finding Semantic Differences in Binary Programs.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 10th International Conference, 2008

2007

Sting: An End-to-End Self-Healing System for Defending against Internet Worms.

[BibT_eX]

[DOI]

Proceedings of the Malware Detection, 2007

SIA: Secure information aggregation in sensor networks.

[BibT_eX]

[DOI]

J. Comput. Secur., 2007

Provable Data Possession at Untrusted Stores.

[BibT_eX]

[DOI]

Zachary N. J. Peterson

IACR Cryptol. ePrint Arch., 2007

Exploiting Network Structure for Proactive Spam Mitigation.

[BibT_eX]

[DOI]

Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007, 2007

Dynamic Spyware Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2007 USENIX Annual Technical Conference, 2007

Multi-Dimensional Range Query over Encrypted Data.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

Fig: Automatic Fingerprint Generation.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2007

RICH: Automatically Protecting Against Integer-Based Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2007

Detecting Stealthy Spreaders Using Online Outdegree Histograms.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Workshop on Quality of Service, 2007

Sweeper: a lightweight end-to-end system for defending against fast worms.

[BibT_eX]

[DOI]

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Distributed Evasive Scan Techniques and Countermeasures.

[BibT_eX]

[DOI]

Min Gyung Kang

Juan Caballero

Proceedings of the Detection of Intrusions and Malware, 2007

Creating Vulnerability Signatures Using Weakest Preconditions.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

Panorama: capturing system-wide information flow for malware detection and analysis.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

Polyglot: automatic extraction of protocol message format using dynamic binary analysis.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006

StackPi: New Packet Marking and Filtering Mechanisms for DDoS and IP Spoofing Defense.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2006

Towards Attack-Agnostic Defenses.

[BibT_eX]

[DOI]

Proceedings of the 1st USENIX Workshop on Hot Topics in Security, 2006

Towards Automatic Generation of Vulnerability-Based Signatures.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

New Constructions and Practical Applications for Private Stream Searching (Extended Abstract).

[BibT_eX]

[DOI]

Brent Waters

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

Paragraph: Thwarting Signature Learning by Training Maliciously.

[BibT_eX]

[DOI]

Brad Karp

Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006

Behavioral Distance Measurement Using Hidden Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006

Vulnerability-Specific Execution Filtering for Exploit Prevention on Commodity Software.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2006

Black Box Anomaly Detection: Is It Utopian?.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM Workshop on Hot Topics in Networks, 2006

Replayer: automatic protocol replay by binary analysis.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

Secure hierarchical in-network aggregation in sensor networks.

[BibT_eX]

[DOI]

Haowen Chan

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

Design space and analysis of worm defense strategies.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006

2005

Timed Efficient Stream Loss-Tolerant Authentication (TESLA): Multicast Source Authentication Transform Introduction.

[BibT_eX]

[DOI]

RFC, June, 2005

Polygraph: Automatically Generating Signatures for Polymorphic Worms.

[BibT_eX]

[DOI]

Brad Karp

Proceedings of the 2005 IEEE Symposium on Security and Privacy (S&P 2005), 2005

Semantics-Aware Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Symposium on Security and Privacy (S&P 2005), 2005

Behavioral Distance for Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Intrusion Detection, 8th International Symposium, 2005

New Streaming Algorithms for Fast Detection of Superspreaders.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2005

Dynamic Taint Analysis for Automatic Detection, Analysis, and SignatureGeneration of Exploits on Commodity Software.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2005

A Generic Scheme for Zero-Knowledge Sets.

[BibT_eX]

[DOI]

Proceedings of the Applied Public Key Infrastructure, 2005

FIT: fast Internet traceback.

[BibT_eX]

[DOI]

Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

Privacy-Preserving Set Operations.

[BibT_eX]

[DOI]

Lea Kissner

Proceedings of the Advances in Cryptology, 2005

2004

On Gray-Box Program Tracking for Anomaly Detection.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, 2004

Privtrans: Automatically Partitioning Programs for Privilege Separation.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, 2004

SIFF: A Stateless Internet Flow Filter to Mitigate DDoS Flooding Attacks.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE Symposium on Security and Privacy (S&P 2004), 2004

Detection of Interactive Stepping Stones: Algorithms and Confidence Bounds.

[BibT_eX]

[DOI]

Avrim Blum

Shobha Venkataraman

Proceedings of the Recent Advances in Intrusion Detection: 7th International Symposium, 2004

The sybil attack in sensor networks: analysis & defenses.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

Dynamic Quarantine of Internet Worms.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Gray-box extraction of execution graphs for anomaly detection.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

Private Keyword-Based Push and Pull with Applications to Anonymous Communication.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2004

2003

Pi: A Path Identification Mechanism to Defend against DDoS Attack.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

Random Key Predistribution Schemes for Sensor Networks.

[BibT_eX]

[DOI]

Haowen Chan

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

SIA: secure information aggregation in sensor networks.

[BibT_eX]

[DOI]

Bartosz Przydatek

Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, 2003

GEM: graph eMbedding for routing and data-centric storage in sensor networks without geographic information.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, 2003

2002

Expander Graphs for Digital Stream Authentication and Robust Overlay Networks.

[BibT_eX]

[DOI]

J. D. Tygar

David Zuckerman

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Homomorphic Signature Schemes.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology, 2002

2001

Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis.

[BibT_eX]

[DOI]

Sergey Berezin

J. Comput. Secur., 2001

Quasi-Efficient Revocation of Group Signatures.

[BibT_eX]

[DOI]

Giuseppe Ateniese

Gene Tsudik

IACR Cryptol. ePrint Arch., 2001

Timing Analysis of Keystrokes and Timing Attacks on SSH.

[BibT_eX]

[DOI]

David A. Wagner

Xuqing Tian

Proceedings of the 10th USENIX Security Symposium, 2001

ELK, A New Protocol for Efficient Large-Group Key Distribution.

[BibT_eX]

[DOI]

J. D. Tygar

Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

Efficient and Secure Source Authentication for Multicast.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2001

SAM: A Flexible and Secure Auction Architecture Using Trusted Hardware.

[BibT_eX]

[DOI]

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Advanced and Authenticated Marking Schemes for IP Traceback.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Practical forward secure group signature schemes.

[BibT_eX]

[DOI]

Proceedings of the CCS 2001, 2001

A Cryptanalysis of the High-Bandwidth Digital Content Protection System.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Digital Rights Management, 2001

AGVI - Automatic Generation, Verification, and Implementation of Security Protocols.

[BibT_eX]

[DOI]

Doantam Phan

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Practical Techniques for Searches on Encrypted Data.

[BibT_eX]

[DOI]

David A. Wagner

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

Efficient Authentication and Signing of Multicast Streams over Lossy Channels.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

A First Step Towards the Automatic Generation of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2000

Looking for Diamonds in the Desert - Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999

Athena: A New Efficient Automatic Checker for Security Protocol Analysis.

[BibT_eX]

[DOI]