The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jerry den Hartog: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jerry den Hartog
    Verifying Probabilistic Programs Using a Hoare like Logic. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:113-125 [Conf]
  2. Ricardo Corin, Jerry den Hartog
    A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:252-263 [Conf]
  3. Jerry den Hartog, Erik P. de Vink
    Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:85-98 [Conf]
  4. Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan
    Functional Principles of Registry-based Service Discovery. [Citation Graph (0, 0)][DBLP]
    LCN, 2005, pp:209-217 [Conf]
  5. Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma
    PINPAS: A Tool for Power Analysis of Smartcards. [Citation Graph (0, 0)][DBLP]
    SEC, 2003, pp:453-457 [Conf]
  6. Eneia Todoran, Jerry den Hartog, Erik P. de Vink
    Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:101-115 [Conf]
  7. Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog
    Nonmonotonic Trust Management for P2P Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:3, pp:113-130 [Journal]
  8. Jerry den Hartog, Erik P. de Vink
    Mixing Up Nondeterminism and Probability: a preliminary report. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  9. Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
    Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  10. Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
    Full Abstractness of a Metric Semantics for Action Refinement. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:40, n:4, pp:335-382 [Journal]
  11. Jerry den Hartog, Erik P. de Vink
    Verifying Probabilistic Programs Using a Hoare Like Logic. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2002, v:13, n:3, pp:315-340 [Journal]

  12. Principles on the Security of AES against First and Second-Order Differential Power Analysis. [Citation Graph (, )][DBLP]


  13. Formal Verification of Privacy for RFID Systems. [Citation Graph (, )][DBLP]


  14. Know What You Trust. [Citation Graph (, )][DBLP]


  15. Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. [Citation Graph (, )][DBLP]


  16. Trust and punishment. [Citation Graph (, )][DBLP]


  17. Nonmonotonic Trust Management for P2P Applications [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002