Back to results
University of Illinois at Urbana-Champaign
Analysis of randomized security protocols
Abstract
dc:descriptionMade available in DSpace on 2019-02-06T19:36:23Z (GMT). No. of bitstreams: 2 BAUER-DISSERTATION-2018.pdf: 942833 bytes, checksum: 783bd3a1adfd3dfd54474a5046e90152 (MD5) LICENSE.txt: 4210 bytes, checksum: 9c379298174d05b023e864fcc4653dd4 (MD5) Previous issue date: 2018-11-30
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2019
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Bauer, Matthew Steven
- Contributors dc:contributor
-
- Viswanathan, Mahesh
- Meseguer, José
- Bates, Adam
- Chadha, Rohit
Subjects
dc:subject × 3Rights
dc:rights- Statement dc:rights
-
- Copyright 2018 Matthew Bauer
- Language dc:language
- en
Identifiers
dc:identifier.*- Handle dc:identifier
- http://hdl.handle.net/2142/102456
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/102456