Multiple users have reported problems submitting materials to IDEALS. We are aware of the issue and are working to correct it ASAP. We appreciate your patience!

University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–24 of 24 items
Thumbnail for Preventing History Forgery with Secure Provenance
Preventing History Forgery with Secure Provenance
Hasan, Ragib; Sion, Radu; Winslett, Marianne

Thumbnail for Reducing Space Overhead for Independent Checkpointing
Reducing Space Overhead for Independent Checkpointing
Wang, Yi-Min; Chung, Pi-Yu; Lin, In-Jen; Fuchs, W. Kent

Thumbnail for Composing protocols with randomized actions
Composing protocols with randomized actions
Matthew S. Bauer, Rohit Chadha and Mahesh Viswanathan

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