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
Directories and similar publications of the University of Illinois 1
Research publications from UIUC 1

Collection

Dissertations and Theses - Computer Science 3
Graduate Dissertations and Theses at Illinois 3
Research and Tech Reports - Computer Science 1
Student Directory and Code (University of Illinois at Urbana-Champaign) 1

Author(s)

Hendrix, Joseph D. 1
Marti-Oliet, Narciso 1
Meseguer, José 1
Palomino, Miguel 1
Sasse, Ralf 1
Sundresh, Sameer 1
University of Illinois at Urbana-Champaign 1

Keyword(s)

Computer Science 2
Faculty Directories 1
Students Directories 1
browser security 1
computer science 1
cryptographic protocol analysis 1
rewriting logic 1
same origin policy 1
semantic unification 1
variant narrowing 1

Type of Resource

text 4

↑ ↓

Showing 1–5 of 5 items

Thumbnail for Algebraic Simulations

Algebraic Simulations

Meseguer, José; Palomino, Miguel; Marti-Oliet, Narciso

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers

Security models in rewriting logic for cryptographic protocols and browsers

Sasse, Ralf

Thumbnail for Request-Based Mediated Execution

Request-Based Mediated Execution

Sundresh, Sameer

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Students' directory. 1970-1973

Students' directory. 1970-1973

University of Illinois at Urbana-Champaign

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 2?

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