University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 4
Dept. of Computer Science 4
Graduate Dissertations and Theses at Illinois 3

Collection

Graduate Dissertations and Theses at Illinois 3
Dissertations and Theses - Computer Science 2
Research and Tech Reports - Computer Science 2

Author(s)

Bauer, Matthew S 1
Bauer, Matthew Steven 1
Chadha, Rohit 1
Mathur, Umang 1
Matthew S. Bauer, Rohit Chadha and Mahesh Viswanathan 1
Shankesi, Ravinder 1
Viswanathan, Mahesh 1

Keyword(s)

Algorithms 1
Censorship 1
Concurrency 1
Dolev-Yao attacker 1
Dynamic Analysis 1
Friendsourcing 1
Network Manipulation 1
Network-Neturality 1
Randomized security protocols 1
Social Networks 1

Type of Resource

text 3
Thesis 1

↑ ↓

Showing 1–5 of 5 items

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 Composing protocols with randomized actions

Composing protocols with randomized actions

Matthew S. Bauer, Rohit Chadha and Mahesh Viswanathan

Thumbnail for Analysis of randomized security protocols

Analysis of randomized security protocols

Bauer, Matthew Steven

Thumbnail for Algorithmic advances in dynamic analysis for detecting concurrency bugs

Algorithmic advances in dynamic analysis for detecting concurrency bugs

Mathur, Umang

Thumbnail for Friendsourcing to detect network manipulation

Friendsourcing to detect network manipulation

Shankesi, Ravinder

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 0?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)