University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 91–120 of 204 items
Thumbnail for Verification of Randomized Security Protocols
Verification of Randomized Security Protocols
Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for The Rewriting Logic Semantics Project
The Rewriting Logic Semantics Project
Meseguer, José; Rosu, Grigore

Thumbnail for Modular Verification of Protocol Equivalence in the Presence of Randomness
Modular Verification of Protocol Equivalence in the Presence of Randomness
Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh

Thumbnail for Trustworthy Program Verification via Proof Generation
Trustworthy Program Verification via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore