ProfessorsProfessors of Worcester Polytechnic InstituteJoshua Guttman

Joshua Guttman

Worcester Polytechnic Institute

H-index: 37

North America-United States

About Joshua Guttman

Joshua Guttman, With an exceptional h-index of 37 and a recent h-index of 14 (since 2020), a distinguished researcher at Worcester Polytechnic Institute, specializes in the field of Information security, logic, semantics.

His recent articles reflect a diverse array of research interests and contributions to the field:

Cryptographically Assured Information Flow: Assured Remote Execution

Systems and methods for analyzing distributed system data streams using declarative specification, detection, and evaluation of happened-before relationships

Molly: A Verified Compiler for Cryptoprotocol Roles

Spinoza’s Infinities, Mathematical, Logical, and Metaphysical

HotSpot: Hot Issues in Security Principles and Trust 2020

Assumption-Based Analysis of Distance-Bounding Protocols with cpsa

Joshua Guttman Information

University	Worcester Polytechnic Institute
Position	Research Professor Computer Science
Citations(all)	7250
Citations(since 2020)	833
Cited By	6633
hIndex(all)	37
hIndex(since 2020)	14
i10Index(all)	74
i10Index(since 2020)	22
Email	Access Email
University Profile Page	Worcester Polytechnic Institute
Google Scholar	View Google Scholar Profile

Joshua Guttman Skills & Research Interests

Information security

logic

semantics

Top articles of Joshua Guttman

Title	Journal	Author(s)	Publication Date
Cryptographically Assured Information Flow: Assured Remote Execution	arXiv preprint arXiv:2402.02630	Scott L Dyer Christian A Femrite Joshua D Guttman Julian P Lanson Moses D Liskov	2024/2/4
Systems and methods for analyzing distributed system data streams using declarative specification, detection, and evaluation of happened-before relationships			2023/11/30
Molly: A Verified Compiler for Cryptoprotocol Roles	arXiv preprint arXiv:2311.13692	Daniel J Dougherty Joshua D Guttman	2023/11/22
Spinoza’s Infinities, Mathematical, Logical, and Metaphysical		Joshua D Guttman	2022/6/5
HotSpot: Hot Issues in Security Principles and Trust 2020		Joshua Guttman Sebastian Mödersheim	2020/9/7
Assumption-Based Analysis of Distance-Bounding Protocols with cpsa	Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday	Paul D Rowe Joshua D Guttman John D Ramsdell	2020