Author Search Results :: UTM Library Massive Scholar Tracking

1

The theory of timed I/O automata / by Kaynar, Dilsun K.

Published 2006
2

The Theory of Timed I/O Automata by Kaynar, Dilsun K., Lynch, Nancy, Segala, Roberto, Vaandrager, Frits

Published 2005

Get full text
3

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
4

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

Published 2005

Get full text
5

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
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 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
9

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
10

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
11

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
12

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
13

The IOA Simulator by Kaynar, Dilsun Kirh, Chefter, Anna, Dean, Laura, Garland, Stephen J., Lynch, Nancy A., Ne Win, Toh, Ramírez-Robredo, Antonio

Published 2023

Get full text