Davor Runje

• Abstract State Machines
• Cryptographic Protocols
• Hybrid Modal Logics
• FURIA (FUtuRes as Indispensable Abstraction) - a framework for efficient execution of structural parallelism on multiprocessor/multicore platforms.

Publications

1997

• Davor Runje. Arhitektura integriranog sklopa za IDEA (International Data Encryption Algorithm) algoritam. University of Zagreb, Faculty of Electrical Engineering and Computing, BSc thesis, 1997.

1998

• Davor Runje and Mario Kovač. Universal Strong Encryption FPGA Core Implementation. In Design, Automation, and Test in Europe (DATE98), 923–924, Paris, France, 1998.

1999

• Davor Runje and Mario Kovač. Cryptographic Container for Multimedia Distribution. In VIPromCom'99 Workshop, Zadar, Croatia, 1999.

2001

• Dorian Ivančić and Davor Runje and Mario Kovač. Implementation of Serpent Encryption Algorithm on 24-bit DSP Processor. In 2nd Int'l Symposium on Image and Signal Processing and Analysis (ISPA01), Pula, Croatia, 2001.

2003

• Dean Rosenzweig and Davor Runje and Neva Slani. Tableaux-Based Prover for Typed Hybrid Multimodal Logic (System Description). In 3rd Method for Modalities Workshop, INRIA–Lorraine, Nancy, 2003.
  [PDF]
• Dean Rosenzweig and Davor Runje and Neva Slani. Privacy, Abstract Encryption and Protocols: an ASM Model – Part I. In Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, Volume 2589 of LNCS, Taormina, Italy, 2003.
  [PDF]
• Dean Rosenzweig and Davor Runje and Neva Slani. Typed Hybrid Multimodal Logic. 2003.
  [PDF]

2004

• Dean Rosenzweig and Davor Runje. The Cryptographic Abstract Machine. In Abstract State Machines – Advances in Theory and Applications: 11th International Workshop, Volume 3065 of LNCS, Halle-Wittenberg, Germany, 2004.
  [PDF]

2005

• Dean Rosenzweig and Davor Runje. Some Things Algorithms Cannot Do. Microsoft Research, MSR-TR-2005-52, 2005.
  [PDF]
• Dean Rosenzweig and Davor Runje and Wolfram Schulte. Model–Based Testing of Cryptographic Protocols. In Trustworthy Global Computing: IST/FET International Workshop, TGC 2005, 33-60, Volume 3705 of LNCS, 2005.
  [PDF]

2006

• Mario Kovač and Brian D. Litman and Davor Runje and Tomislav Uzelac. System and method for advertisement sponsored content distribution. US Patent 6,988,277, 2006.

2007

• Dean Rosenzweig and Davor Runje. Some Things Algorithms Cannot Do. In The 14th International ASM Workshop, Grimstad, Norway, 2007.
  [PDF]
• Dean Rosenzweig and Davor Runje. ASM Model of Computational Cryptography. In The 14th International ASM Workshop, Grimstad, Norway, 2007.
  [PDF]
• Matko Botinčan and Paola Glavan and Davor Runje. Towards Distributed Algorithms: A Case Study of the Java Memory Model. In The 14th International ASM Workshop, Grimstad, Norway, 2007.
  [PDF]
• Matko Botinčan and Davor Runje. Lock-free Stack and Queue: Java vs .NET. In The 29th International Conference on Information Technology Interfaces (ITI 2007), Cavtat, Croatia, 2007.
  [PDF]
• Matko Botinčan and Davor Runje. Futures and the Lazy Task Creation for .NET. In Proceedings of SoftCOM 2007, Split, Croatia, 2007.
  [PDF]
• Matko Botinčan and Paola Glavan and Davor Runje. An ASM-based Approach to Modeling Memory Models. submitted to JUCS, 2007.
  [PDF]

2008

• Matko Botinčan and Davor Runje. An Enchancement of Futures Runtime in Presence of Cache Memory Hierarchy. In The 30th International Conference on Information Technology Interfaces (ITI 2007), Cavtat, Croatia, 2008.
  [PDF]
• Matko Botinčan and Paola Glavan and Davor Runje. Verification of Causality Requirements in Java Memory Model is Undecidable. submitted to Parallel Processing Letters, 2008.
  [PDF]