World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
30
Citations
6488
World Ranking
13879
National Ranking
5517

Overview

Joshua D. Guttman is affiliated with Worcester Polytechnic Institute in the United States, specializing primarily in the field of computer science. Their research explores various subfields, including artificial intelligence, computer networks and communications, media technology, signal processing, and information systems.

Their work addresses several main topics in computing, focusing on security and verification, advanced authentication protocols, RFID technology advancements, cryptography and data security, logic programming and type systems, advanced malware detection techniques, and advanced data storage technologies.

Joshua D. Guttman has published research across different venues, with frequent contributions to:

  • arXiv (Cornell University)
  • AEM Education and Training

Recent papers authored or co-authored by Guttman include:

  • Issue Information, 2022, AEM Education and Training
  • Molly: A Verified Compiler for Cryptoprotocol Roles, 2023, arXiv (Cornell University)
  • Cryptographically Assured Information Flow: Assured Remote Execution, 2024, arXiv (Cornell University)

Frequent collaborators in their research include Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Stepan Kuznetsov, and Boon Thau Loo.

Joshua D. Guttman has contributed to academic literature beyond journal and conference papers by authoring books. One such publication is "Logic, Language, and Security" published by Springer Science+Business Media in 2020.

Best Publications

  • Strand spaces: why is a security protocol correct?

    F.J.T. Fabrega;J.C. Herzog;J.D. Guttman

  • Strand spaces: proving security protocols correct

    Unknown

  • Security for Mobile Agents: Authentication and State Appraisal

    William M. Farmer;Joshua D. Guttman;Vipin Swarup

  • Security for Mobile Agents: Issues and Requirements

    William M. Farmer;Joshua D. Guttman;Vipin Swarup

  • IMPS: an interactive mathematical proof system

    William M. Farmer;Joshua D. Guttman;F. Javier Thayer

  • Principles of remote attestation

    George Coker;Joshua Guttman;Peter Loscocco;Amy Herzog

  • Authentication tests and the structure of bundles

    Joshua D. Guttman;F. Javier Thayer

  • Honest ideals on strand spaces

    F.J. Thayer Fabrega;J.C. Herzog;J.D. Guttman

  • Filtering postures: local enforcement for global policies

    J.D. Guttman

  • Formal Aspects in Security and Trust

    Pierpaolo Degano;Joshua Guttman;Fabio Martinelli

  • Little Theories

    William M. Farmer;Joshua D. Guttman;F. Javier Thayer

  • Protocol independence through disjoint encryption

    J.D. Guttman;F.J.F. Thayer

  • Authentication tests

    J.D. Guttman;F.J. Thayer

  • Authentication for Mobile Agents

    Shimshon Berkovits;Joshua D. Guttman;Vipin Swarup

  • Secure ad hoc trust initialization and key management in wireless body area networks

    Ming Li;Shucheng Yu;Joshua D. Guttman;Wenjing Lou

  • Verifying information flow goals in security-enhanced Linux

    Joshua D. Guttman;Amy L. Herzog;John D. Ramsdell;Clement W. Skorupka

  • Security protocol design via authentication tests

    J.D. Guttman

  • Mixed strand spaces

    F.J. Thayer Fabrega;J.C. Herzog;J.D. Guttman

  • Searching for shapes in cryptographic protocols

    Shaddin F. Doghmi;Joshua D. Guttman;F. Javier Thayer

  • Rigorous automated network security management

    Joshua D. Guttman;Amy L. Herzog

  • Trust Management in Strand Spaces: A Rely-Guarantee Method

    Joshua D. Guttman;F. Javier Thayer;Jay A. Carlson;Jonathan C. Herzog

Frequent Co-Authors

Lenore D. Zuck
Lenore D. Zuck University of Illinois at Chicago
Fabio Martinelli
Fabio Martinelli National Research Council (CNR)
Anupam Datta
Anupam Datta Carnegie Mellon University
Andrew C. Myers
Andrew C. Myers Cornell University
Kui Ren
Kui Ren Zhejiang University
Shriram Krishnamurthi
Shriram Krishnamurthi Brown University
Timothy Sherwood
Timothy Sherwood University of California, Santa Barbara
Benjamin C. Pierce
Benjamin C. Pierce University of Pennsylvania
Patrick Schaumont
Patrick Schaumont Worcester Polytechnic Institute

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

Exploring related fields and alternative study options can open up diverse pathways for future success in Computer Science and beyond. If you are worried about academic requirements, many universities for low gpa offer flexible admission policies, increasing access to quality computer science education online.

For those seeking a faster track, consider enrolling in one of the fastest computer science degree programs. These can help you gain qualifications and enter the workforce more quickly than traditional routes.

If your interests extend to other STEM fields, a degree in environmental science is another versatile option. Discover what you can do with an environmental science degree and how those skills can connect with computational and analytical roles. Similarly, pursuing an environmental engineering online degree provides a blend of technology and sustainability, preparing you for jobs addressing today’s global challenges.

With so many online programs available, selecting the right path can set you up for rewarding careers in technology, engineering, and the sciences.

Best Scientists Citing Joshua D. Guttman

Trending Scientists

Recently Published Articles