Richard A. Kemmerer

Publication Activity (10 Years)

Years Active: 1979-2015
Publications (10 Years): 0

Top Venues

CPSW@CISS

NDSS

SEGS@CCS

IEEE Symposium on Security and Privacy Workshops

Publications

Benjamin Caillat, Bob Gilbert, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
Prison: Tracking Process Interactions to Contain Malware. HPCC/CSS/ICESS (2015)
Ali Zand, Amir Houmansadr, Giovanni Vigna, Richard A. Kemmerer, Christopher Kruegel
Know Your Achilles' Heel: Automatic Detection of Network Critical Services. ACSAC (2015)
Maria B. Line, Ali Zand, Gianluca Stringhini, Richard A. Kemmerer
Targeted Attacks against Industrial Control Systems: Is the Power Industry Prepared? SEGS@CCS (2014)
Jane Iedemska, Gianluca Stringhini, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
The Tricks of the Trade: What Makes Spam Campaigns Successful? IEEE Symposium on Security and Privacy Workshops (2014)
Ali Zand, Giovanni Vigna, Richard A. Kemmerer, Christopher Kruegel
Rippler: Delay injection for service dependency detection. INFOCOM (2014)
Kyriakos G. Vamvoudakis, João P. Hespanha, Richard A. Kemmerer, Giovanni Vigna
Formulating Cyber-Security as Convex Optimization Problems. CPSW@CISS (2013)
Richard A. Kemmerer
20 Years of Network and Distributed Systems Security: The Good, the Bad, and the Ugly. NDSS (2013)
Brett Stone-Gross, Ryan Abman, Richard A. Kemmerer, Christopher Kruegel, Douglas G. Steigerwald, Giovanni Vigna
The Underground Economy of Fake Antivirus Software. WEIS (Springer Volume) (2011)
Brett Stone-Gross, Ryan Stevens, Apostolis Zarras, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
Understanding fraudulent activities in online ad exchanges. Internet Measurement Conference (2011)
Bob Gilbert, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
Dymo: Tracking Dynamic Code Identity. RAID (2011)
Brett Stone-Gross, Marco Cova, Bob Gilbert, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
Analysis of a Botnet Takeover. IEEE Secur. Priv. 9 (1) (2011)
Greg Banks, Aristide Fattori, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
MISHIMA: Multilateration of Internet Hosts Hidden Using Malicious Fast-Flux Agents (Short Paper). DIMVA (2011)
Brett Stone-Gross, Ryan Abman, Richard A. Kemmerer, Christopher Kruegel, Douglas G. Steigerwald
The Underground Economy of Fake Antivirus Software. WEIS (2011)
Richard A. Kemmerer
How to steal a botnet and what can happen when you do. ICSM (2011)
Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita
Formal analysis of an electronic voting system: An experience report. J. Syst. Softw. 84 (10) (2011)
Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita
Formal Specification and Analysis of an E-voting System. ARES (2010)
Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna
An Experience in Testing the Security of Real-World Electronic Voting Systems. IEEE Trans. Software Eng. 36 (4) (2010)
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli
Refinement and Verification of Real-Time Systems CoRR (2010)
Richard A. Kemmerer
How to Steal a Botnet and What Can Happen When You Do. ICICS (2009)
Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
Your botnet is my botnet: analysis of a botnet takeover. CCS (2009)
Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita
Formal analysis of attacks for e-voting system. CRiSIS (2009)
Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel, Pavel Laskov
Network attack detection and defense - Manifesto of the Dagstuhl Perspective Workshop, March 2nd-6th, 2008. Comput. Sci. Res. Dev. 23 (1) (2009)
Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna
counted?: testing the security of real-world electronic voting systems. ISSTA (2008)
Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel
08102 Executive Summary -- Perspectives Workshop: Network Attack Detection and Defense. Network Attack Detection and Defense (2008)
Richard A. Kemmerer, Roland Büschkes, Ali Fessi, Hartmut König, Peter Herrmann, Stephen D. Wolthusen, Marko Jahnke, Hervé Debar, Ralph Holz, Tanja Zseby, Dirk Haage
08102 Outcome Working Group -- Situational Awareness. Network Attack Detection and Defense (2008)
Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel, Pavel Laskov
08102 Manifesto -- Perspectives Workshop: Network Attack Detection and Defense. Network Attack Detection and Defense (2008)
Darren Mutz, William K. Robertson, Giovanni Vigna, Richard A. Kemmerer
Exploiting Execution Context for the Detection of Anomalous System Calls. RAID (2007)
André Årnes, Paul Haas, Giovanni Vigna, Richard A. Kemmerer
Using a virtual security testbed for digital forensic reconstruction. J. Comput. Virol. 2 (4) (2007)
Richard A. Kemmerer
So You Think You Can Dance? ACSAC (2007)
Greg Banks, Marco Cova, Viktoria Felmetsger, Kevin C. Almeroth, Richard A. Kemmerer, Giovanni Vigna
SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr. ISC (2006)
André Årnes, Fredrik Valeur, Giovanni Vigna, Richard A. Kemmerer
Using Hidden Markov Models to Evaluate the Risks of Intrusions. RAID (2006)
William K. Robertson, Giovanni Vigna, Christopher Krügel, Richard A. Kemmerer
Using Generalization and Characterization Techniques in the Anomaly-based Detection of Web Attacks. NDSS (2006)
André Årnes, Paul Haas, Giovanni Vigna, Richard A. Kemmerer
Digital Forensic Reconstruction and the Virtual Security Testbed ViSe. DIMVA (2006)
Richard A. Kemmerer
Designing and implementing a family of intrusion detection systems. ASE (2005)
Richard A. Kemmerer, Giovanni Vigna
Hi-DRA: Intrusion Detection for Internet Security. Proc. IEEE 93 (10) (2005)
Fredrik Valeur, Giovanni Vigna, Christopher Krügel, Richard A. Kemmerer
A Comprehensive Approach to Intrusion Detection Alert Correlation. IEEE Trans. Dependable Secur. Comput. 1 (3) (2004)
Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
Past pushdown timed automata and safety verification. Theor. Comput. Sci. 313 (1) (2004)
Giovanni Vigna, Sumit Gwalani, Kavitha Srinivasan, Elizabeth M. Belding-Royer, Richard A. Kemmerer
An Intrusion Detection Tool for AODV-Based Ad hoc Wireless Networks. ACSAC (2004)
Richard A. Kemmerer
Cybersecurity. ICSE (2003)
Richard A. Kemmerer, Giovanni Vigna
Internet Security and Intrusion Detection. ICSE (2003)
Giovanni Vigna, William K. Robertson, Vishal Kher, Richard A. Kemmerer
A Stateful Intrusion Detection System for World-Wide Web Servers. ACSAC (2003)
Giovanni Vigna, Fredrik Valeur, Richard A. Kemmerer
Designing and implementing a family of intrusion detection systems. ESEC / SIGSOFT FSE (2003)
Darren Mutz, Giovanni Vigna, Richard A. Kemmerer
An Experience Developing an IDS Stimulator for the Black-Box Testing of Network Intrusion Detection Systems. ACSAC (2003)
Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer
Generalized discrete timed automata: decidable approximations for safety verificatio. Theor. Comput. Sci. 296 (1) (2003)
Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
Presburger liveness verification of discrete timed automata. Theor. Comput. Sci. 299 (1-3) (2003)
Richard A. Kemmerer
A Practical Approach to Identifying Storage and Timing Channels: Twenty Years Later. ACSAC (2002)
Christopher Krügel, Fredrik Valeur, Giovanni Vigna, Richard A. Kemmerer
Stateful Intrusion Detection for High-Speed Networks. IEEE Symposium on Security and Privacy (2002)
Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
Counter Machines and Verification Problems. Theor. Comput. Sci. 289 (1) (2002)
Steven T. Eckmann, Giovanni Vigna, Richard A. Kemmerer
STATL: An Attack Language for State-Based Intrusion Detection. J. Comput. Secur. 10 (1/2) (2002)
Giovanni Vigna, Fredrik Valeur, Jingyu Zhou, Richard A. Kemmerer
Composable Tools For Network Discovery and Security Analysis. ACSAC (2002)
Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. COCOON (2001)
Giovanni Vigna, Richard A. Kemmerer, Per Blix
Designing a Web of Highly-Configurable Intrusion Detection Sensors. Recent Advances in Intrusion Detection (2001)
Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
On Presburger Liveness of Discrete Timed Automata. STACS (2001)
Sebastian Fischmeister, Giovanni Vigna, Richard A. Kemmerer
Evaluating the Security of Three Java-Based Mobile Agent Systems. Mobile Agents (2001)
Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
Past Pushdown Timed Automata. CIAA (2001)
Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su
Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV (2000)
Richard A. Kemmerer
Editorial: New EIC Introduction. IEEE Trans. Software Eng. 26 (2) (2000)
Zhe Dang, Richard A. Kemmerer
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. ICSE (2000)
André L. M. dos Santos, Richard A. Kemmerer
Implementing Security Policies using the Safe Areas of Computation Approach. ACSAC (2000)
Paul Z. Kolano, Richard A. Kemmerer
Classification schemes to aid in the analysis of real-time systems. ISSTA (2000)
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli
Parallel Refinement Mechanisms for Real-Time Systems. FASE (2000)
Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
Conter Machines: Decidable Properties and Applications to Verification Problems. MFCS (2000)
Zhe Dang, Richard A. Kemmerer
Using the ASTRAL Model Checker to Analyze Mobile IP. ICSE (1999)
André L. M. dos Santos, Richard A. Kemmerer
Safe Areas of Computation for Secure Computing with Insecure Applications. ACSAC (1999)
Giovanni Vigna, Richard A. Kemmerer
NetSTAT: A Network-based Intrusion Detection System. J. Comput. Secur. 7 (1) (1999)
Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer
The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment. Ann. Softw. Eng. 7 (1999)
Zhe Dang, Richard A. Kemmerer
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. RTCSA (1999)
Richard A. Kemmerer
Editor's Note. IEEE Trans. Software Eng. 25 (4) (1999)
Richard A. Kemmerer
Editorial. IEEE Trans. Software Eng. 25 (6) (1999)
Giovanni Vigna, Richard A. Kemmerer
NetSTAT: A Network-Based Intrusion Detection Approach. ACSAC (1998)
Flavio De Paoli, André L. M. dos Santos, Richard A. Kemmerer
Web Browsers and Security. Mobile Agents and Security (1998)
Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson
The Most Influential Papers from the ISSTA Research Community (Panel). ISSTA (1998)
Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer
Specification of Realtime Systems Using ASTRAL. IEEE Trans. Software Eng. 23 (9) (1997)
Richard A. Kemmerer
Formally Specifying and Verifying Real-Time Systems. ICFEM (1997)
Richard A. Kemmerer
Security Issues in Distributed Software. ESEC / SIGSOFT FSE (1997)
Richard A. Kemmerer, Tad Taylor
. ACSAC (1996)
Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia
Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). ISSTA (1996)
Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
A Formal Framework for ASTRAL Inter-level Proof Obligations. ESEC (1995)
Koral Ilgun, Richard A. Kemmerer, Phillip A. Porras
State Transition Analysis: A Rule-Based Intrusion Detection Approach. IEEE Trans. Software Eng. 21 (3) (1995)
Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
A Formal Framework for ASTRAL Intralevel Proof Obligations. IEEE Trans. Software Eng. 20 (8) (1994)
Jeffrey Douglas, Richard A. Kemmerer
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. ISSTA (1994)
Richard A. Kemmerer, Catherine A. Meadows, Jonathan K. Millen
Three System for Cryptographic Protocol Analysis. J. Cryptol. 7 (2) (1994)
Alberto Coen-Porisini, Richard A. Kemmerer
The Composability of ASTRAL Realtime Specifications. ISSTA (1993)
Jonathan D. Reichbach, Richard A. Kemmerer
SoundWorks: An Object-Oriented Distributed System for Digital Sound. Computer 25 (3) (1992)
Phillip A. Porras, Richard A. Kemmerer
Penetration state transition analysis: A rule-based intrusion detection approach. ACSAC (1992)
Richard A. Kemmerer, Carlo Ghezzi
Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. IEEE Trans. Software Eng. 18 (9) (1992)
Phillip A. Porras, Richard A. Kemmerer
Covert Flow Trees: A Technique for Identifying and Analyzing Covert Storage Channels. IEEE Symposium on Security and Privacy (1991)
Richard A. Kemmerer, Phillip A. Porras
Covert Flow Trees: A Visual Approach to Analyzing Covert Storage Channels. IEEE Trans. Software Eng. 17 (11) (1991)
Carlo Ghezzi, Richard A. Kemmerer
ASTRAL: An Assertion Language for Specifying Realtime Systems. ESEC (1991)
Richard A. Kemmerer
A Multilevel Formal Specification of a Mental Health Care Database. DBSec (1990)
Richard A. Kemmerer
Integrating Formal Methods into the Development Process. IEEE Softw. 7 (5) (1990)
Richard A. Kemmerer
Completely Validated Software. ICSE (1989)
Richard A. Kemmerer
Analyzing encryption protocols using formal verification techniques. IEEE J. Sel. Areas Commun. 7 (4) (1989)
Richard A. Kemmerer
Formal Specification of a Mental Health Delivery System. DBSec (1989)
J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Trans. Software Eng. 13 (2) (1987)
Richard A. Kemmerer
Analyzing Encryption Protocols Using Formal Verification Authentication Schemes. CRYPTO (1987)
Richard A. Kemmerer
Formal Specification and Verification Techniques for Secure Database Systems. DBSec (1987)
Richard A. Kemmerer
Using Formal Verification Techniques to Analyze Encryption Protocols. IEEE Symposium on Security and Privacy (1987)
Richard A. Kemmerer
Analyzing Encryption Protocols Using Formal Verification Techniques. EUROCRYPT (1986)
J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Symposium on Security and Privacy (1986)

Richard A. Kemmerer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Richard A. Kemmerer