Somesh Jha

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Robust Learning against Relational Adversaries.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Overparameterization from Computational Constraints.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Privacy Implications of Shuffling.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Towards Evaluating the Robustness of Neural Networks Learned by Transduction.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

GRAPHITE: Generating Automatic Physical Examples for Machine-Learning Attacks on Computer Vision Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

Lightweight, Multi-Stage, Compiler-Assisted Application Specialization.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

Federated Boosted Decision Trees with Differential Privacy.

[BibT_eX]

[DOI]

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

EIFFeL: Ensuring Integrity for Federated Learning.

[BibT_eX]

[DOI]

Chuan Guo

Laurens van der Maaten

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

Strengthening Order Preserving Encryption with Differential Privacy.

[BibT_eX]

[DOI]

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

2021

TRACE: Enterprise-Wide Provenance Tracking for Real-Time APT Detection.

[BibT_eX]

[DOI]

Hassaan Irshad

Gabriela F. Ciocarlie

IEEE Trans. Inf. Forensics Secur., 2021

Locally Differentially Private Heavy Hitter Identification.

[BibT_eX]

[DOI]

Tianhao Wang

Ninghui Li

IEEE Trans. Dependable Secur. Comput., 2021

Face-Off: Adversarial Face Obfuscation.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2021

2018 CAV award.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

NeuraCrypt is not private.

[BibT_eX]

[DOI]

CoRR, 2021

Domain Adaptation for Autoencoder-Based End-to-End Communication Over Wireless Channels.

[BibT_eX]

[DOI]

CoRR, 2021

Towards Adversarial Robustness via Transductive Learning.

[BibT_eX]

[DOI]

CoRR, 2021

A Shuffling Framework for Local Differential Privacy.

[BibT_eX]

[DOI]

CoRR, 2021

Causally Constrained Data Synthesis for Private Data Release.

[BibT_eX]

[DOI]

CoRR, 2021

Hard-label Manifolds: Unexpected Advantages of Query Efficiency for Finding On-manifold Adversarial Examples.

[BibT_eX]

[DOI]

CoRR, 2021

Exploring Adversarial Robustness of Deep Metric Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Is Private Learning Possible with Instance Encoding?

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

ATOM: Robustifying Out-of-Distribution Detection Using Outlier Mining.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2021

A Separation Result Between Data-oblivious and Data-aware Poisoning Attacks.

[BibT_eX]

[DOI]

Abhradeep Guha Thakurta

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Detecting Errors and Estimating Accuracy on Unlabeled Data with Self-training Ensembles.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

A General Framework For Detecting Anomalous Inputs to DNN Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Sample Complexity of Robust Linear Classification on Separated Data.

[BibT_eX]

[DOI]

Robi Bhattacharjee

Christopher A. Choquette-Choo

Kamalika Chaudhuri

Proceedings of the 38th International Conference on Machine Learning, 2021

CaPC Learning: Confidential and Private Collaborative Learning.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

Brittle Features of Device Authentication.

[BibT_eX]

[DOI]

Proceedings of the CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, 2021

Continuous Release of Data Streams under both Centralized and Local Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Trustworthy Machine Learning: Past, Present, and Future.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

2020

Improving Utility and Security of the Shuffler-based Differential Privacy.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2020

Overfitting, robustness, and malicious algorithms: A study of potential causes of privacy risk in machine learning.

[BibT_eX]

[DOI]

J. Comput. Secur., 2020

Semantic Adversarial Deep Learning.

[BibT_eX]

[DOI]

Sanjit A. Seshia

Tommaso Dreossi

IEEE Des. Test, 2020

Sample Complexity of Adversarially Robust Linear Classification on Separated Data.

[BibT_eX]

[DOI]

Robi Bhattacharjee

Kamalika Chaudhuri

CoRR, 2020

ShadowNet: A Secure and Efficient System for On-device Model Inference.

[BibT_eX]

[DOI]

CoRR, 2020

An Attack on InstaHide: Is Private Learning Possible with Instance Encoding?

[BibT_eX]

[DOI]

CoRR, 2020

Intertwining Order Preserving Encryption and Differential Privacy.

[BibT_eX]

[DOI]

CoRR, 2020

Detecting Anomalous Inputs to DNN Classifiers By Joint Statistical Testing at the Layers.

[BibT_eX]

[DOI]

CoRR, 2020

Abstract Universal Approximation for Neural Networks.

[BibT_eX]

[DOI]

Zi Wang

Aws Albarghouthi

CoRR, 2020

Robust Learning against Logical Adversaries.

[BibT_eX]

[DOI]

CoRR, 2020

Robust Out-of-distribution Detection via Informative Outlier Mining.

[BibT_eX]

[DOI]

CoRR, 2020

Representation Bayesian Risk Decompositions and Multi-Source Domain Adaptation.

[BibT_eX]

[DOI]

CoRR, 2020

Obliviousness Makes Poisoning Adversaries Weaker.

[BibT_eX]

[DOI]

CoRR, 2020

Robust Out-of-distribution Detection in Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Face-Off: Adversarial Face Obfuscation.

[BibT_eX]

[DOI]

CoRR, 2020

Analyzing Accuracy Loss in Randomized Smoothing Defenses.

[BibT_eX]

[DOI]

CoRR, 2020

Query-Efficient Physical Hard-Label Attacks on Deep Learning Visual Classification.

[BibT_eX]

[DOI]

CoRR, 2020

Exploring Connections Between Active Learning and Model Extraction.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Towards Effective Differential Privacy Communication for Users' Data Sharing Decision and Comprehension.

[BibT_eX]

[DOI]

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

OAT: Attesting Operation Integrity of Embedded Devices.

[BibT_eX]

[DOI]

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

Crypt?: Crypto-Assisted Differential Privacy on Untrusted Servers.

[BibT_eX]

[DOI]

Chenghong Wang

Xi He

Ashwin Machanavajjhala

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

Concise Explanations of Neural Networks using Adversarial Training.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

CAUSE: Learning Granger Causality from Event Sequences using Attribution Methods.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Data-Dependent Differentially Private Parameter Learning for Directed Graphical Models.

[BibT_eX]

[DOI]

Theodoros Rekatsinas

Proceedings of the 37th International Conference on Machine Learning, 2020

On the Need for Topology-Aware Generative Models for Manifold-Based Defenses.

[BibT_eX]

[DOI]

Uyeong Jang

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

Adversarially Robust Learning Could Leverage Computational Hardness.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 2020

2019

Generating Semantic Adversarial Examples with Differentiable Rendering.

[BibT_eX]

[DOI]

CoRR, 2019

On Need for Topology Awareness of Generative Models.

[BibT_eX]

[DOI]

Uyeong Jang

CoRR, 2019

Practical and Robust Privacy Amplification with Multi-Party Differential Privacy.

[BibT_eX]

[DOI]

CoRR, 2019

Enhancing ML Robustness Using Physical-World Constraints.

[BibT_eX]

[DOI]

CoRR, 2019

Attribution-driven Causal Analysis for Detection of Adversarial Examples.

[BibT_eX]

[DOI]

Steven Lawrence Fernandes

Sunny Raj

CoRR, 2019

Outis: Crypto-Assisted Differential Privacy on Untrusted Servers.

[BibT_eX]

[DOI]

Chenghong Wang

Xi He

Ashwin Machanavajjhala

CoRR, 2019

Answering Multi-Dimensional Analytical Queries under Local Differential Privacy.

[BibT_eX]

[DOI]

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

Attribution-Based Confidence Metric For Deep Neural Networks.

[BibT_eX]

[DOI]

Steven Lawrence Fernandes

Sunny Raj

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

Robust Attribution Regularization.

[BibT_eX]

[DOI]

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

Towards Understanding Limitations of Pixel Discretization Against Adversarial Attacks.

[BibT_eX]

[DOI]

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

2018

Privacy-Preserving Collaborative Prediction using Random Forests.

[BibT_eX]

[DOI]

CoRR, 2018

Model Extraction and Active Learning.

[BibT_eX]

[DOI]

CoRR, 2018

Explainable Black-Box Attacks Against Model-based Authentication.

[BibT_eX]

[DOI]

CoRR, 2018

Adversarial Binaries for Authorship Identification.

[BibT_eX]

[DOI]

Xiaozhu Meng

CoRR, 2018

Improving Adversarial Robustness by Data-Specific Discretization.

[BibT_eX]

[DOI]

CoRR, 2018

OEI: Operation Execution Integrity for Embedded Devices.

[BibT_eX]

[DOI]

CoRR, 2018

Malware lineage in the wild.

[BibT_eX]

[DOI]

Comput. Secur., 2018

Kernel-Supported Cost-Effective Audit Logging for Causality Tracking.

[BibT_eX]

[DOI]

Gabriela F. Ciocarlie

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Locally Differentially Private Frequent Itemset Mining.

[BibT_eX]

[DOI]

Tianhao Wang

Ninghui Li

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

Neural-augmented static analysis of Android communication.

[BibT_eX]

[DOI]

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

Privacy at Scale: Local Differential Privacy in Practice.

[BibT_eX]

[DOI]

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

MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation.

[BibT_eX]

[DOI]

Gabriela F. Ciocarlie

Ashish Gehani

Vinod Yegneswaran

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Detecting Adversarial Examples Using Data Manifolds.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Military Communications Conference, 2018

Smart Contracts and Opportunities for Formal Methods.

[BibT_eX]

[DOI]

Andrew Miller

Zhicheng Cai

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Analyzing the Robustness of Nearest Neighbors to Adversarial Examples.

[BibT_eX]

[DOI]

Yizhen Wang

Kamalika Chaudhuri

Proceedings of the 35th International Conference on Machine Learning, 2018

Reinforcing Adversarial Robustness using Model Confidence Induced by Adversarial Training.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Machine Learning, 2018

Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Privacy-Preserving Ridge Regression on Distributed Data.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Privacy-Preserving Ridge Regression with only Linearly-Homomorphic Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Program synthesis for interactive-security systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

Manifold Assumption and Defenses Against Adversarial Perturbations.

[BibT_eX]

[DOI]

CoRR, 2017

The Unintended Consequences of Overfitting: Training Data Inference Attacks.

[BibT_eX]

[DOI]

Samuel Yeom

Matt Fredrikson

CoRR, 2017

Optimizing Locally Differentially Private Protocols.

[BibT_eX]

[DOI]

CoRR, 2017

ROSA: R Optimizations with Static Analysis.

[BibT_eX]

[DOI]

CoRR, 2017

Policy by Example: An Approach for Security Policy Specification.

[BibT_eX]

[DOI]

CoRR, 2017

Locally Differentially Private Protocols for Frequency Estimation.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

Cimplifier: automatically debloating containers.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Bolt-on Differential Privacy for Scalable Stochastic Gradient Descent-based Analytics.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Enhancing Android Security Through App Splitting.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2017

Kali: Scalable encryption fingerprinting in dynamic malware traces.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Malicious and Unwanted Software, 2017

Botnet protocol inference in the presence of encrypted traffic.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

New Directions for Container Debloating.

[BibT_eX]

[DOI]

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

Practical Black-Box Attacks against Machine Learning.

[BibT_eX]

[DOI]

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

Secure Integration of Web Content and Applications on Commodity Mobile Operating Systems.

[BibT_eX]

[DOI]

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

Objective Metrics and Gradient Descent Algorithms for Adversarial Examples in Machine Learning.

[BibT_eX]

[DOI]

Uyeong Jang

Xi Wu

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

2016

Composite Constant Propagation and its Application to Android Program Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Towards Least Privilege Containers with Cimplifier.

[BibT_eX]

[DOI]

CoRR, 2016

Practical Black-Box Attacks against Deep Learning Systems using Adversarial Examples.

[BibT_eX]

[DOI]

CoRR, 2016

Differentially Private Stochastic Gradient Descent for in-RDBMS Analytics.

[BibT_eX]

[DOI]

CoRR, 2016

Practical DIFC Enforcement on Android.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

Distillation as a Defense to Adversarial Perturbations Against Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

The Limitations of Deep Learning in Adversarial Settings.

[BibT_eX]

[DOI]

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

A Methodology for Formalizing Model-Inversion Attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Revisiting Differentially Private Regression: Lessons From Learning Theory and their Consequences.

[BibT_eX]

[DOI]

CoRR, 2015

Composite Constant Propagation: Application to Android Inter-Component Communication Analysis.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Model Inversion Attacks that Exploit Confidence Information and Basic Countermeasures.

[BibT_eX]

[DOI]

Matt Fredrikson

Thomas Ristenpart

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

LibFTE: A Toolkit for Constructing Practical, Format-Abiding Encryption Schemes.

[BibT_eX]

[DOI]

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

Privacy in Pharmacogenetics: An End-to-End Case Study of Personalized Warfarin Dosing.

[BibT_eX]

[DOI]

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

Efficient runtime-enforcement techniques for policy weaving.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Deep packet inspection with DFA-trees and parametrized language overapproximation.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Satisfiability modulo counting: a new approach for analyzing privacy properties.

[BibT_eX]

[DOI]

Matthew Fredrikson

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Formatted Encryption Beyond Regular Languages.

[BibT_eX]

[DOI]

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

Beyond Pattern Matching: A Concurrency Model for Stateful Deep Packet Inspection.

[BibT_eX]

[DOI]

Lorenzo De Carli

Robin Sommer

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

2013

Secure computations on non-integer values with applications to privacy-preserving sequence analysis.

[BibT_eX]

[DOI]

Inf. Secur. Tech. Rep., 2013

Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis.

[BibT_eX]

[DOI]

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Declarative, Temporal, and Practical Programming with Capabilities.

[BibT_eX]

[DOI]

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

Secure programs via game-based synthesis.

[BibT_eX]

[DOI]

William R. Harris

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

Security challenges in automotive hardware/software architecture design.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Validating Library Usage Interactively.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Guest Editorial: Special Issue on Computer and Communications Security.

[BibT_eX]

[DOI]

Paul F. Syverson

ACM Trans. Inf. Syst. Secur., 2012

Retargeting Android applications to Java bytecode.

[BibT_eX]

[DOI]

Damien Octeau

Karthikeyan Sankaralingam

Patrick D. McDaniel

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Static analysis and compiler design for idempotent processing.

[BibT_eX]

[DOI]

Marc de Kruijf

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

CrowdMine: towards crowdsourced human-assisted verification.

[BibT_eX]

[DOI]

Wenchao Li

Sanjit A. Seshia

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Secure Programming via Visibly Pushdown Safety Games.

[BibT_eX]

[DOI]

William R. Harris

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

End-to-End Software Diversification of Internet Services.

[BibT_eX]

[DOI]

Proceedings of the Moving Target Defense, 2011

Speculative Parallel Pattern Matching.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2011

Towards Secure Bioinformatics Services (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2011

Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms.

[BibT_eX]

[DOI]

Matthew Fredrikson

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Analysis Techniques for Information Security

[BibT_eX]

[DOI]

Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers, ISBN: 978-3-031-02334-7, 2010

A Declarative Framework for Intrusion Analysis.

[BibT_eX]

[DOI]

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

Cyber SA: Situational Awareness for Cyber Defense.

[BibT_eX]

[DOI]

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

Semantic integrity in large-scale online simulations.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2010

Secure Computations on Non-Integer Values.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

Automatic Generation of Remediation Procedures for Malware Infections.

[BibT_eX]

[DOI]

Proceedings of the 19th USENIX Security Symposium, 2010

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors.

[BibT_eX]

[DOI]

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

Automating Security Mediation Placement.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2010

DIFC programs by automatic instrumentation.

[BibT_eX]

[DOI]

William R. Harris

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

Retrofitting Legacy Code for Security.

[BibT_eX]

[DOI]

Karthikeyan Sankaralingam

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Design and implementation of the PLUG architecture for programmable and efficient network lookups.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2009

Multi-byte Regular Expression Matching with Speculation.

[BibT_eX]

[DOI]

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

Verifying Information Flow Control over Unbounded Processes.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Protocol Normalization Using Attribute Grammars.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2009

2008

A semantics-based approach to malware detection.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Towards Formal Verification of Role-Based Access Control Policies.

[BibT_eX]

[DOI]

Ninghui Li

Mahesh V. Tripunitara

Qihua Wang

William H. Winsborough

IEEE Trans. Dependable Secur. Comput., 2008

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

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2008

XFA: Faster Signature Matching with Extended Automata.

[BibT_eX]

[DOI]

Randy Smith

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

Towards Practical Privacy for Genomic Computation.

[BibT_eX]

[DOI]

Louis Kruger

Vitaly Shmatikov

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

Effective blame for information-flow violations.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Deflating the big bang: fast and scalable deep packet inspection with extended finite automata.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

A Layered Architecture for Detecting Malicious Behaviors.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Intrusion Detection, 11th International Symposium, 2008

Mining specifications of malicious behavior.

[BibT_eX]

[DOI]

Christopher Kruegel

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

Fast Signature Matching Using Extended Finite Automaton (XFA).

[BibT_eX]

[DOI]

Randy Smith

Ida Sri Rejeki Siahaan

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

The design and implementation of microdrivers.

[BibT_eX]

[DOI]

Matthew J. Renzelmann

Arini Balakrishnan

Michael M. Swift

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

2007

Software transformations to improve malware detection.

[BibT_eX]

[DOI]

J. Comput. Virol., 2007

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2007

Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Microdrivers: A New Architecture for Device Drivers.

[BibT_eX]

[DOI]

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Creating Vulnerability Signatures Using Weakest Preconditions.

[BibT_eX]

[DOI]

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

OmniUnpack: Fast, Generic, and Safe Unpacking of Malware.

[BibT_eX]

[DOI]

Lorenzo Martignoni

Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

2006

Weighted Pushdown Systems and Trust-Management Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Retrofitting Legacy Code for Authorization Policy Enforcement.

[BibT_eX]

[DOI]

Trent Jaeger

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 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

Automated Discovery of Mimicry Attacks.

[BibT_eX]

[DOI]

Jonathon T. Giffin

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

Reducing the Dependence of SPKI/SDSI on PKI.

[BibT_eX]

[DOI]

Stuart G. Stubblebine

Proceedings of the Computer Security, 2006

On the Completeness of Attack Mutation Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Protomatching network traffic for high throughputnetwork intrusion detection.

[BibT_eX]

[DOI]

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

Secure function evaluation with ordered binary decision diagrams.

[BibT_eX]

[DOI]

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

NetSpy: Automatic Generation of Spyware Signatures for NIDS.

[BibT_eX]

[DOI]

Hao Wang

Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

Backtracking Algorithmic Complexity Attacks against a NIDS.

[BibT_eX]

[DOI]

Randy Smith

Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

2005

Weighted pushdown systems and their application to interprocedural dataflow analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

An Iterative Framework for Simulation Conformance.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

An Architecture for Generating Semantic Aware Signatures.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Language-Based Generation and Evaluation of NIDS Signatures.

[BibT_eX]

[DOI]

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

Environment-Sensitive Intrusion Detection.

[BibT_eX]

[DOI]

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

Automatic discovery of API-level exploits.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

A Logic of File Systems.

[BibT_eX]

[DOI]

Muthian Sivathanu

Andrea C. Arpaci-Dusseau

Remzi H. Arpaci-Dusseau

Proceedings of the FAST '05 Conference on File and Storage Technologies, 2005

Privacy Preserving Clustering.

[BibT_eX]

[DOI]

Louis Kruger

Patrick D. McDaniel

Proceedings of the Computer Security, 2005

Automatic placement of authorization hooks in the linux security modules framework.

[BibT_eX]

[DOI]

Trent Jaeger

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

Modular Verification of Software Components in C.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Model checking SPKI/SDSI.

[BibT_eX]

[DOI]

J. Comput. Secur., 2004

Formalizing Sensitivity in Static Analysis for Intrusion Detection.

[BibT_eX]

[DOI]

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

Security Policy Reconciliation in Distributed Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Global Intrusion Detection in the DOMINO Overlay System.

[BibT_eX]

[DOI]

Vinod Yegneswaran

Paul Barford

Proceedings of the Network and Distributed System Security Symposium, 2004

Efficient Context-Sensitive Intrusion Detection.

[BibT_eX]

[DOI]

Jonathon T. Giffin

Proceedings of the Network and Distributed System Security Symposium, 2004

Testing malware detectors.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Automatic Generation and Analysis of NIDS Attacks.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004

2003

Efficient verification of security protocols using partial-order reductions.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2003

Counterexample-guided abstraction refinement for symbolic model checking.

[BibT_eX]

[DOI]

J. ACM, 2003

Static Analysis of Executables to Detect Malicious Patterns.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Security Symposium, Washington, D.C., USA, August 4-8, 2003, 2003

Integrating Publish/Subscribe into a Mobile Teamwork Support Platform.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.

[BibT_eX]

[DOI]

Stefan Schwoon

Proceedings of the Static Analysis, 10th International Symposium, 2003

On Generalized Authorization Problems.

[BibT_eX]

[DOI]

Stefan Schwoon

Stuart G. Stubblebine

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

Buffer overrun detection using linear programming and static analysis.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2002

Detecting Manipulated Remote Call Streams.

[BibT_eX]

[DOI]

Jonathon T. Giffin

Proceedings of the 11th USENIX Security Symposium, 2002

Automated Generation and Analysis of Attack Graphs.

[BibT_eX]

[DOI]

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

Tree-Like Counterexamples in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Efficient Type Matching.

[BibT_eX]

[DOI]

Jens Palsberg

Tian Zhao

Proceedings of the Foundations of Software Science and Computation Structures, 2002

Two Formal Analys s of Attack Graphs.

[BibT_eX]

[DOI]

Oleg Sheyner

Jeannette M. Wing

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

Analysis of SPKI/SDSI Certificates Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001

Survivability Analysis of Network Systems.

[BibT_eX]

[DOI]

Jeannette M. Wing

Proceedings of the 23rd International Conference on Software Engineering, 2001

Efficient Filtering in Publish-Subscribe Systems Using Binary Decision.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Non-linear Quantification Scheduling in Image Computation.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Progress on the State Explosion Problem in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001

Markov Chains, Classifiers, and Intrusion Detection.

[BibT_eX]

[DOI]

Kymie M. C. Tan

Roy A. Maxion

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

Using Combinatorial Optimization Methods for Quantification Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Verifying security protocols with Brutus.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2000

Partial Order Reductions for Security Protocol Verification.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Survivability Analysis of Network Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

Counterexample-Guided Abstraction Refinement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Model checking algorithms for the µ-calculus.

[BibT_eX]

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Approximate Option Pricing.

[BibT_eX]

[DOI]

Prasad Chalasani

Isaac Saias

Algorithmica, 1999

Generalized Stuttering Equivalence.

[BibT_eX]

Doron A. Peled

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Abstract BDDs: A Technique for Using Abstraction in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.

[BibT_eX]

[DOI]

Daniel Jackson

Craig Damon

ACM Trans. Program. Lang. Syst., 1998

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

Agent cloning: an approach to agent mobility and resource allocation.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 1998

Reasoning about Implicit Invocation.

[BibT_eX]

[DOI]

David Garlan

David Notkin

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Using state space exploration and a natural deduction style message derivation engine to verify security protocols.

[BibT_eX]

Proceedings of the Programming Concepts and Methods, 1998

Agent Cloning.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Multiagent Systems, 1998

Strategies for Querying Information Agents.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents II, 1998

Symmetry Reductions in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Increasing Resource Utilization and Task Performance by Agent Cloning.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents V, 1998

A Formal Treatment of Distributed Matchmaking.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomous Agents, 1998

Query Restart Strategies for Web Agent.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomous Agents, 1998

1997

Verifying Parameterized Networks.

[BibT_eX]

[DOI]

Orna Grumberg

ACM Trans. Program. Lang. Syst., 1997

An Improved Algorithm for the Evaluation of Fixpoint Expressions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Combining Partial Order and Symmetry Reductions.

[BibT_eX]

[DOI]

E. Allen Emerson

Doron A. Peled

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Equivalence Checking Using Abstract BDDs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

Multi-Agent Coordination through Coalition Formation.

[BibT_eX]

[DOI]

Onn Shehory

Katia P. Sycara

Proceedings of the Intelligent Agents IV, 1997

1996

Exploiting Symmetry in Temporal Logic Model Checking.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1996

Checking Relational Specifications With Binary Decision Diagrams.

[BibT_eX]

[DOI]

Craig Damon

Daniel Jackson

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Faster Checking of Software Specifications by Eliminating Isomorphs.

[BibT_eX]

[DOI]

Daniel Jackson

Craig Damon

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

Verification of the Futurebus+ Cache Coherence Protocol.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1995

Veryfying Parameterized Networks using Abstraction and Regular Languages.

[BibT_eX]

[DOI]

Orna Grumberg

Proceedings of the CONCUR '95: Concurrency Theory, 1995

Symmetry and Induction in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1993

Exploiting Symmetry In Temporal Logic Model Checking.

[BibT_eX]

[DOI]

Thomas Filkorn

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Complexity of uniqueness and local search in quadratic 0-1 programming.

[BibT_eX]

[DOI]

Panos M. Pardalos