Author Search Results :: UTM Library Massive Scholar Tracking

1

Modeling Computational Security in Long-Lived Systems, Version 2 by Lynch, Nancy, Pereira, Olivier, Kaynar, Dilsun, Cheung, Ling, Canetti, Ran

Published 2008

Get full text
2

Task-structured probabilistic I/O automata by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

Published 2021

Get full text

Article
3

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

Published 2006

Get full text
4

Task-Structured Probabilistic I/O Automata by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

Published 2006

Get full text
5

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

Published 2006

Get full text
6

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

Published 2006

Get full text
7

Task-Structured Probabilistic I/O Automata by Canetti,, Ran, Cheung,, Ling, Kaynar,, Dilsun, Liskov,, Moses, Lynch,, Nancy, Pereira,, Olivier, Segala, Roberto

Published 2006

Get full text
8

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

Published 2007

Get full text
9

Task-Structured Probabilistic I/O Automata by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

Published 2013

Get full text