Richard A. Kemmerer

118 papers A* 15A 23B 9C 5Misc 1Journal 38Unranked 23

Year	Rank	Type	Title / Venue / Authors
2015	A	`conf`	Know Your Achilles' Heel: Automatic Detection of Network Critical Services. ACSAC Ali Zand, Amir Houmansadr, Giovanni Vigna, Richard A. Kemmerer, Christopher Kruegel
2015	—	`conf`	Prison: Tracking Process Interactions to Contain Malware. HPCC/CSS/ICESS Benjamin Caillat, Bob Gilbert, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
2014	A*	`conf`	Rippler: Delay injection for service dependency detection. INFOCOM Ali Zand, Giovanni Vigna, Richard A. Kemmerer, Christopher Kruegel
2014	—	`conf`	Targeted Attacks against Industrial Control Systems: Is the Power Industry Prepared? SEGS@CCS Maria B. Line, Ali Zand, Gianluca Stringhini, Richard A. Kemmerer
2014	—	`conf`	The Tricks of the Trade: What Makes Spam Campaigns Successful? IEEE Symposium on Security and Privacy Workshops Jane Iedemska, Gianluca Stringhini, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
2013	A*	`conf`	20 Years of Network and Distributed Systems Security: The Good, the Bad, and the Ugly. NDSS Richard A. Kemmerer
2013	—	`conf`	Formulating Cyber-Security as Convex Optimization Problems. CPSW@CISS Kyriakos G. Vamvoudakis, João P. Hespanha, Richard A. Kemmerer, Giovanni Vigna
2011	J	`jnl`	Analysis of a Botnet Takeover. IEEE Secur. Priv. Brett Stone-Gross, Marco Cova, Bob Gilbert, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
2011	A	`conf`	Dymo: Tracking Dynamic Code Identity. RAID Bob Gilbert, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
2011	J	`jnl`	Formal analysis of an electronic voting system: An experience report. J. Syst. Softw. Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita
2011	—	`conf`	How to steal a botnet and what can happen when you do. ICSM Richard A. Kemmerer
2011	B	`conf`	MISHIMA: Multilateration of Internet Hosts Hidden Using Malicious Fast-Flux Agents (Short Paper). DIMVA Greg Banks, Aristide Fattori, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
2011	—	`conf`	The Underground Economy of Fake Antivirus Software. WEIS Brett Stone-Gross, Ryan Abman, Richard A. Kemmerer, Christopher Kruegel, Douglas G. Steigerwald
2011	—	`conf`	The Underground Economy of Fake Antivirus Software. WEIS (Springer Volume) Brett Stone-Gross, Ryan Abman, Richard A. Kemmerer, Christopher Kruegel, Douglas G. Steigerwald, Giovanni Vigna
2011	A	`conf`	Understanding fraudulent activities in online ad exchanges. Internet Measurement Conference Brett Stone-Gross, Ryan Stevens, Apostolis Zarras, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
2010	J	`jnl`	An Experience in Testing the Security of Real-World Electronic Voting Systems. IEEE Trans. Software Eng. Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna
2010	B	`conf`	Formal Specification and Analysis of an E-voting System. ARES Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita
2010	J	`jnl`	Refinement and Verification of Real-Time Systems CoRR Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli
2009	C	`conf`	Formal analysis of attacks for e-voting system. CRiSIS Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita
2009	C	`conf`	How to Steal a Botnet and What Can Happen When You Do. ICICS Richard A. Kemmerer
2009	J	`jnl`	Network attack detection and defense - Manifesto of the Dagstuhl Perspective Workshop, March 2nd-6th, 2008. Comput. Sci. Res. Dev. Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel, Pavel Laskov
2009	A*	`conf`	Your botnet is my botnet: analysis of a botnet takeover. CCS Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard A. Kemmerer, Christopher Kruegel, Giovanni Vigna
2008	—	`conf`	08102 Executive Summary -- Perspectives Workshop: Network Attack Detection and Defense. Network Attack Detection and Defense Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel
2008	—	`conf`	08102 Manifesto -- Perspectives Workshop: Network Attack Detection and Defense. Network Attack Detection and Defense Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel, Pavel Laskov
2008	—	`conf`	08102 Outcome Working Group -- Situational Awareness. Network Attack Detection and Defense 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
2008	A	`conf`	Are your votes ISSTA Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna
2008	—	`ed.`	Perspectives Workshop: Network Attack Detection and Defense, 2.3. - 6.3.2008 Network Attack Detection and Defense Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel
2007	A	`conf`	Exploiting Execution Context for the Detection of Anomalous System Calls. RAID Darren Mutz, William K. Robertson, Giovanni Vigna, Richard A. Kemmerer
2007	A	`conf`	So You Think You Can Dance? ACSAC Richard A. Kemmerer
2007	J	`jnl`	Using a virtual security testbed for digital forensic reconstruction. J. Comput. Virol. André Årnes, Paul Haas, Giovanni Vigna, Richard A. Kemmerer
2006	B	`conf`	Digital Forensic Reconstruction and the Virtual Security Testbed ViSe. DIMVA André Årnes, Paul Haas, Giovanni Vigna, Richard A. Kemmerer
2006	C	`conf`	SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr. ISC Greg Banks, Marco Cova, Viktoria Felmetsger, Kevin C. Almeroth, Richard A. Kemmerer, Giovanni Vigna
2006	A*	`conf`	Using Generalization and Characterization Techniques in the Anomaly-based Detection of Web Attacks. NDSS William K. Robertson, Giovanni Vigna, Christopher Krügel, Richard A. Kemmerer
2006	A	`conf`	Using Hidden Markov Models to Evaluate the Risks of Intrusions. RAID André Årnes, Fredrik Valeur, Giovanni Vigna, Richard A. Kemmerer
2005	A*	`conf`	Designing and implementing a family of intrusion detection systems. ASE Richard A. Kemmerer
2005	J	`jnl`	Hi-DRA: Intrusion Detection for Internet Security. Proc. IEEE Richard A. Kemmerer, Giovanni Vigna
2004	J	`jnl`	A Comprehensive Approach to Intrusion Detection Alert Correlation. IEEE Trans. Dependable Secur. Comput. Fredrik Valeur, Giovanni Vigna, Christopher Krügel, Richard A. Kemmerer
2004	A	`conf`	An Intrusion Detection Tool for AODV-Based Ad hoc Wireless Networks. ACSAC Giovanni Vigna, Sumit Gwalani, Kavitha Srinivasan, Elizabeth M. Belding-Royer, Richard A. Kemmerer
2004	J	`jnl`	Past pushdown timed automata and safety verification. Theor. Comput. Sci. Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
2003	A	`conf`	A Stateful Intrusion Detection System for World-Wide Web Servers. ACSAC Giovanni Vigna, William K. Robertson, Vishal Kher, Richard A. Kemmerer
2003	A	`conf`	An Experience Developing an IDS Stimulator for the Black-Box Testing of Network Intrusion Detection Systems. ACSAC Darren Mutz, Giovanni Vigna, Richard A. Kemmerer
2003	A*	`conf`	Cybersecurity. ICSE Richard A. Kemmerer
2003	—	`conf`	Designing and implementing a family of intrusion detection systems. ESEC / SIGSOFT FSE Giovanni Vigna, Fredrik Valeur, Richard A. Kemmerer
2003	J	`jnl`	Generalized discrete timed automata: decidable approximations for safety verificatio. Theor. Comput. Sci. Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer
2003	A*	`conf`	Internet Security and Intrusion Detection. ICSE Richard A. Kemmerer, Giovanni Vigna
2003	J	`jnl`	Presburger liveness verification of discrete timed automata. Theor. Comput. Sci. Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
2002	A	`conf`	A Practical Approach to Identifying Storage and Timing Channels: Twenty Years Later. ACSAC Richard A. Kemmerer
2002	A	`conf`	Composable Tools For Network Discovery and Security Analysis. ACSAC Giovanni Vigna, Fredrik Valeur, Jingyu Zhou, Richard A. Kemmerer
2002	J	`jnl`	Counter Machines and Verification Problems. Theor. Comput. Sci. Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
2002	J	`jnl`	STATL: An Attack Language for State-Based Intrusion Detection. J. Comput. Secur. Steven T. Eckmann, Giovanni Vigna, Richard A. Kemmerer
2002	—	`conf`	Stateful Intrusion Detection for High-Speed Networks. S&P Christopher Krügel, Fredrik Valeur, Giovanni Vigna, Richard A. Kemmerer
2001	Misc	`conf`	Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. COCOON Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer
2001	—	`conf`	Designing a Web of Highly-Configurable Intrusion Detection Sensors. Recent Advances in Intrusion Detection Giovanni Vigna, Richard A. Kemmerer, Per Blix
2001	—	`conf`	Evaluating the Security of Three Java-Based Mobile Agent Systems. Mobile Agents Sebastian Fischmeister, Giovanni Vigna, Richard A. Kemmerer
2001	A	`conf`	On Presburger Liveness of Discrete Timed Automata. STACS Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
2001	C	`conf`	Past Pushdown Timed Automata. CIAA Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
2001	—	`ch.`	Security Testing of an Online Banking Service. E-Commerce Security and Privacy André L. M. dos Santos, Giovanni Vigna, Richard A. Kemmerer
2000	A*	`conf`	Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su
2000	A	`conf`	Classification schemes to aid in the analysis of real-time systems. ISSTA Paul Z. Kolano, Richard A. Kemmerer
2000	B	`conf`	Conter Machines: Decidable Properties and Applications to Verification Problems. MFCS Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
2000	J	`jnl`	Editorial: New EIC Introduction. IEEE Trans. Software Eng. Richard A. Kemmerer
2000	A	`conf`	Implementing Security Policies using the Safe Areas of Computation Approach. ACSAC André L. M. dos Santos, Richard A. Kemmerer
2000	B	`conf`	Parallel Refinement Mechanisms for Real-Time Systems. FASE Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli
2000	A*	`conf`	Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. ICSE Zhe Dang, Richard A. Kemmerer
1999	B	`conf`	A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. RTCSA Zhe Dang, Richard A. Kemmerer
1999	J	`jnl`	Editor's Note. IEEE Trans. Software Eng. Richard A. Kemmerer
1999	J	`jnl`	Editorial. IEEE Trans. Software Eng. Richard A. Kemmerer
1999	J	`jnl`	NetSTAT: A Network-based Intrusion Detection System. J. Comput. Secur. Giovanni Vigna, Richard A. Kemmerer
1999	A	`conf`	Safe Areas of Computation for Secure Computing with Insecure Applications. ACSAC André L. M. dos Santos, Richard A. Kemmerer
1999	J	`jnl`	The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment. Ann. Softw. Eng. Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer
1999	A*	`conf`	Using the ASTRAL Model Checker to Analyze Mobile IP. ICSE Zhe Dang, Richard A. Kemmerer
1998	A*	`ed.`	Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25, 1998. ICSE Koji Torii, Kokichi Futatsugi, Richard A. Kemmerer
1998	A	`conf`	NetSTAT: A Network-Based Intrusion Detection Approach. ACSAC Giovanni Vigna, Richard A. Kemmerer
1998	A	`conf`	The Most Influential Papers from the ISSTA Research Community (Panel). ISSTA Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson
1998	—	`conf`	Web Browsers and Security. Mobile Agents and Security Flavio De Paoli, André L. M. dos Santos, Richard A. Kemmerer
1997	C	`conf`	Formally Specifying and Verifying Real-Time Systems. ICFEM Richard A. Kemmerer
1997	—	`conf`	Security Issues in Distributed Software. ESEC / SIGSOFT FSE Richard A. Kemmerer
1997	J	`jnl`	Specification of Realtime Systems Using ASTRAL. IEEE Trans. Software Eng. Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer
1996	A	`conf`	A Modular Covert Channel Analysis Methodology for Trusted DG/UX ACSAC Richard A. Kemmerer, Tad Taylor
1996	A	`conf`	Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). ISSTA Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia
1995	—	`conf`	A Formal Framework for ASTRAL Inter-level Proof Obligations. ESEC Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
1995	J	`jnl`	State Transition Analysis: A Rule-Based Intrusion Detection Approach. IEEE Trans. Software Eng. Koral Ilgun, Richard A. Kemmerer, Phillip A. Porras
1994	J	`jnl`	A Formal Framework for ASTRAL Intralevel Proof Obligations. IEEE Trans. Software Eng. Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
1994	A	`conf`	Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. ISSTA Jeffrey Douglas, Richard A. Kemmerer
1994	J	`jnl`	Three System for Cryptographic Protocol Analysis. J. Cryptol. Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen
1993	—	`ch.`	Quality Assurance Working Group. Formal Methods in Systems Engineering Richard A. Kemmerer
1993	A	`conf`	The Composability of ASTRAL Realtime Specifications. ISSTA Alberto Coen-Porisini, Richard A. Kemmerer
1992	J	`jnl`	Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. IEEE Trans. Software Eng. Richard A. Kemmerer, Carlo Ghezzi
1992	A	`conf`	Penetration state transition analysis: A rule-based intrusion detection approach. ACSAC Phillip A. Porras, Richard A. Kemmerer
1992	J	`jnl`	SoundWorks: An Object-Oriented Distributed System for Digital Sound. Computer Jonathan D. Reichbach, Richard A. Kemmerer
1991	—	`conf`	ASTRAL: An Assertion Language for Specifying Realtime Systems. ESEC Carlo Ghezzi, Richard A. Kemmerer
1991	—	`conf`	Covert Flow Trees: A Technique for Identifying and Analyzing Covert Storage Channels. S&P Phillip A. Porras, Richard A. Kemmerer
1991	J	`jnl`	Covert Flow Trees: A Visual Approach to Analyzing Covert Storage Channels. IEEE Trans. Software Eng. Richard A. Kemmerer, Phillip A. Porras
1990	B	`conf`	A Multilevel Formal Specification of a Mental Health Care Database. DBSec Richard A. Kemmerer
1990	J	`jnl`	Integrating Formal Methods into the Development Process. IEEE Softw. Richard A. Kemmerer
1989	J	`jnl`	Analyzing encryption protocols using formal verification techniques. IEEE J. Sel. Areas Commun. Richard A. Kemmerer
1989	A*	`conf`	Completely Validated Software. ICSE Richard A. Kemmerer
1989	B	`conf`	Formal Specification of a Mental Health Delivery System. DBSec Richard A. Kemmerer
1989	—	`ed.`	Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989 TAV Richard A. Kemmerer
1987	J	`jnl`	An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Trans. Software Eng. J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young
1987	A*	`conf`	Analyzing Encryption Protocols Using Formal Verification Authentication Schemes. CRYPTO Richard A. Kemmerer
1987	B	`conf`	Formal Specification and Verification Techniques for Secure Database Systems. DBSec Richard A. Kemmerer
1987	—	`conf`	Using Formal Verification Techniques to Analyze Encryption Protocols. S&P Richard A. Kemmerer
1986	—	`conf`	An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. S&P J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young
1986	A*	`conf`	Analyzing Encryption Protocols Using Formal Verification Techniques. EUROCRYPT Richard A. Kemmerer
1986	J	`jnl`	RT-ASLAN: A Specification Language for Real-Time Systems. IEEE Trans. Software Eng. Brent Auernheimer, Richard A. Kemmerer
1985	J	`jnl`	Complexity measures for assembly language programs. J. Syst. Softw. J. David Blaine, Richard A. Kemmerer
1985	J	`jnl`	INATEST: an interactive environment for testing formal specifications. ACM SIGSOFT Softw. Eng. Notes Steven T. Eckmann, Richard A. Kemmerer
1985	J	`jnl`	Overview of foundations. ACM SIGSOFT Softw. Eng. Notes Richard A. Kemmerer
1985	J	`jnl`	Testing Formal Specifications to Detect Design Errors. IEEE Trans. Software Eng. Richard A. Kemmerer
1985	J	`jnl`	UNISEX: A UNIX-based Symbolic EXecutor for Pascal. Softw. Pract. Exp. Richard A. Kemmerer, Steven T. Eckman
1983	—	`conf`	SDC Secure Release Terminal Project. S&P Thomas H. Hinke, Jose Althouse, Richard A. Kemmerer
1983	J	`jnl`	Shared Resource Matrix Methodology: An Approach to Identifying Storage and Timing Channels ACM Trans. Comput. Syst. Richard A. Kemmerer
1982	—	`conf`	A Practical Approach to Identifying Storage and Timing Channels. S&P Richard A. Kemmerer
1981	J	`jnl`	Status of ongoing security-relevant projects. ACM SIGSOFT Softw. Eng. Notes Richard A. Kemmerer
1980	J	`jnl`	Specification and Verification of the UCLA Unix Security Kernel. Commun. ACM Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek
1980	J	`jnl`	Toward Modular Verifiable Exception Handling. Comput. Lang. Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini
1979	A*	`conf`	Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). SOSP Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek