davor

Davor Runje

mail address is drunje at fsb hr

Katedra za matematiku i nacrtnu geometriju
Fakultet strojarstva i brodogradnje
Ivana Lučića 5
10002 Zagreb
Croatia

Current Work & Interest

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]