dblp.uni-trier.dewww.uni-trier.de

Davor Runje

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EEDean Rosenzweig, Davor Runje, Wolfram Schulte: Model-Based Testing of Cryptographic Protocols. TGC 2005: 33-60
2004
3EEDean Rosenzweig, Davor Runje: The Cryptographic Abstract Machine. Abstract State Machines 2004: 202-217
2003
2EEDean Rosenzweig, Davor Runje, Neva Slani: Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. Abstract State Machines 2003: 372-390
1998
1EEDavor Runje, Mario Kovac: Universal Strong Encryption FPGA Core Implementation. DATE 1998: 923-924

Coauthor Index

1Mario Kovac [1]
2Dean Rosenzweig [2] [3] [4]
3Wolfram Schulte [4]
4Neva Slani [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)