World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
42
Citations
10456
World Ranking
8228
National Ranking
3529

Research.com Recognitions

  • 1997 - ACM Fellow For contributions in the areas of formal specification and verification of systems, computer system security and reliability, specification language design, and software engineering.
  • 1995 - IEEE Fellow For contributions to formal methods in reliability and security of computer systems.

Overview

Richard A. Kemmerer is affiliated with the University of California, Santa Barbara in the United States. Their professional focus includes areas related to computer systems, particularly in formal specification and verification, system security, and software engineering.

The scientist has received recognition through notable awards. In 1995, they were named an IEEE Fellow for contributions to formal methods in reliability and security of computer systems. Two years later, in 1997, they were also honored as an ACM Fellow, recognized for their work in formal specification and verification of systems, specification language design, and reliability and security in computer systems.

Their academic career has been associated with research efforts in the following areas:

  • Formal specification and verification of systems
  • Computer system security and reliability
  • Specification language design
  • Software engineering

No recent papers, co-authors, publication venues, or book publications are listed, which limits insight into the recent scope of their research output.

Best Publications

  • State transition analysis: a rule-based intrusion detection approach

    K. Ilgun;R.A. Kemmerer;P.A. Porras

  • Your botnet is my botnet: analysis of a botnet takeover

    Brett Stone-Gross;Marco Cova;Lorenzo Cavallaro;Bob Gilbert

  • Comprehensive approach to intrusion detection alert correlation

    F. Valeur;G. Vigna;C. Kruegel;R.A. Kemmerer

  • Intrusion detection: a brief history and overview

    R.A. Kemmerer;G. Vigna

  • STATL: an attack language for state-based intrusion detection

    Steven T. Eckmann;Giovanni Vigna;Richard A. Kemmerer

  • NetSTAT: a network-based intrusion detection approach

    G. Vigna;R.A. Kemmerer

  • NetSTAT: a network-based intrusion detection system

    Giovanni Vigna;Richard A. Kemmerer

  • Behavior-based spyware detection

    Engin Kirda;Christopher Kruegel;Greg Banks;Giovanni Vigna

  • Stateful intrusion detection for high-speed network's

    C. Kruegel;F. Valeur;G. Vigna;R. Kemmerer

  • SNOOZE: toward a stateful network protocol fuzZEr

    Greg Banks;Marco Cova;Viktoria Felmetsger;Kevin Almeroth

  • Shared resource matrix methodology: an approach to identifying storage and timing channels

    Unknown

  • Using Generalization and Characterization Techniques in the Anomaly-based Detection of Web Attacks.

    William K. Robertson;Giovanni Vigna;Christopher Krügel;Richard A. Kemmerer

  • A stateful intrusion detection system for World-Wide Web servers

    G. Vigna;W. Robertson;Vishal Kher;R.A. Kemmerer

  • An intrusion detection tool for AODV-based ad hoc wireless networks

    G. Vigna;S. Gwalani;K. Srinivasan;E.M. Belding-Royer

  • Analyzing encryption protocols using formal verification techniques

    R.A. Kemmerer

  • Penetration state transition analysis: A rule-based intrusion detection approach

    Unknown

  • Understanding fraudulent activities in online ad exchanges

    Brett Stone-Gross;Ryan Stevens;Apostolis Zarras;Richard Kemmerer

  • The Underground Economy of Fake Antivirus Software

    Brett Stone-Gross;Ryan Abman;Richard A. Kemmerer;Christopher Kruegel

  • The STAT tool suite

    G. Vigna;S.T. Eckmann;R.A. Kemmerer

  • An experience developing an IDS stimulator for the black-box testing of network intrusion detection systems

    D. Mutz;G. Vigna;R. Kemmerer

  • Using hidden markov models to evaluate the risks of intrusions

    André Årnes;Fredrik Valeur;Giovanni Vigna;Richard A. Kemmerer

  • Proceedings of the 20th international conference on Software engineering

    Koji Torii;Kokichi Futatsugi;Richard A. Kemmerer

Frequent Co-Authors

Giovanni Vigna
Giovanni Vigna University of California, Santa Barbara
Christopher Kruegel
Christopher Kruegel University of California, Santa Barbara
Oscar H. Ibarra
Oscar H. Ibarra University of California, Santa Barbara
Tevfik Bultan
Tevfik Bultan University of California, Santa Barbara
William Robertson
William Robertson Northeastern University
Falko Dressler
Falko Dressler Technical University of Berlin
Georg Carle
Georg Carle Technical University of Munich
Jianwen Su
Jianwen Su University of California, Santa Barbara
Carlo Ghezzi
Carlo Ghezzi Polytechnic University of Milan

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing a degree in Computer Science opens up a variety of online learning options and alternative career pathways across multiple fields. If you’re looking for a quick start, consider exploring what is the easiest associate's degree to get. Associate degrees offer a faster route to entry-level technology positions or can serve as a stepping stone before earning your bachelor’s degree.

For those interested in expanding into academia or administration, an edd in educational leadership can help prepare for leadership roles in educational technology or higher education.

It’s essential to choose programs from online degree programs accredited to ensure your qualifications are recognized by employers and further educational institutions.

Additionally, if you are passionate about gaming and technology, exploring a video game design degree could align your interests with a growing industry.

Whether you’re at the beginning of your educational journey or seeking to specialize, these diverse online pathways can help you achieve your career aspirations in tech and beyond.

Best Scientists Citing Richard A. Kemmerer

Trending Scientists

Recently Published Articles