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 3
Dept. of Computer Science 3
Illinois Research and Scholarship (Open Unit) 1

Collection

Research and Tech Reports - Computer Science 3
Illinois Research and Scholarship (Open Collection) 1

Author(s)

Chadha, Rohit 4
Sistla, A. Parsad 4
Viswanathan, Mahesh 4

Keyword(s)

Computer Science 1
Engineering 1
Randomization 1
Verification, Security, randomized protocols, computational complexity 1
computer science 1
open systems 1
regular languages 1
verification 1

Type of Resource

text 4

↑ ↓

Showing 1–4 of 4 items

Thumbnail for Verification of Randomized Security Protocols

Verification of Randomized Security Protocols

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for On the Expressiveness and Complexity of Randomization in Finite State Monitors

On the Expressiveness and Complexity of Randomization in Finite State Monitors

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for Power of Randomization in Automata on Infinite Strings

Power of Randomization in Automata on Infinite Strings

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for On the Expressiveness and Complexity of Randomization in Finite State Monitors

On the Expressiveness and Complexity of Randomization in Finite State Monitors

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 1 + 7?

© 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)