|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò |
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning".  |
J. Autom. Reasoning  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Klemens Böhm, Sandro Etalle, Jerry den Hartog, Christian Hütter, Slim Trabelsi, Daniel Trivellato, Nicola Zannone |
A Flexible Architecture for Privacy-Aware Trust Management. |
JTAER |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle |
Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayla Brusò, Konstantinos Chatzikokolakis, Jerry den Hartog |
Formal Verification of Privacy for RFID Systems. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Pan, Jasper G. J. van Woudenberg, Jerry den Hartog, Marc F. Witteman |
Improving DPA by Peak Distribution Analysis. |
Selected Areas in Cryptography |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiqiang Lu, Jing Pan, Jerry den Hartog |
Principles on the Security of AES against First and Second-Order Differential Power Analysis. |
ACNS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Pan, J. I. den Hartog, Jiqiang Lu |
You Cannot Hide behind the Mask: Power Analysis on a Provably Secure S-Box Implementation. |
WISA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Pan, J. I. den Hartog, Erik P. de Vink |
An Operation-Based Metric for CPA Resistance. |
SEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog |
Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred Spiessens, Jerry den Hartog, Sandro Etalle |
Know What You Trust. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini |
Audit-based compliance control. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
Privacy, Access control, Policy, Audit |
| 1 | Sandro Etalle, Jerry den Hartog, Stephen Marsh |
Trust and punishment. |
Autonomics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog |
Nonmonotonic Trust Management for P2P Applications. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Jerry den Hartog |
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog |
An Audit Logic for Accountability |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog |
An Audit Logic for Accountability. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Jerry den Hartog |
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version). |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog |
Nonmonotonic Trust Management for P2P Applications |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan |
Functional Principles of Registry-based Service Discovery. |
LCN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yee Wei Law, Pieter H. Hartel, Jerry den Hartog, Paul J. M. Havinga |
Link-layer jamming attacks on S-MAC. |
EWSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu |
A Logic for Auditing Accountability in Decentralized Systems. |
Formal Aspects in Security and Trust |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink |
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. |
Formal Aspects in Security and Trust |
2004 |
DBLP DOI BibTeX RDF |
systematic hardening, simulation, side-channel attack, DPA, power analysis, smartcard, countermeasures, fault analysis |
| 1 | Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma |
PINPAS: A Tool for Power Analysis of Smartcards. |
SEC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink |
Verifying Probabilistic Programs Using a Hoare Like Logic. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink, J. W. de Bakker |
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink |
Mixing Up Nondeterminism and Probability: a preliminary report. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog, Erik P. de Vink, J. W. de Bakker |
Full Abstractness of a Metric Semantics for Action Refinement. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry den Hartog |
Verifying Probabilistic Programs Using a Hoare like Logic. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eneia Todoran, Jerry den Hartog, Erik P. de Vink |
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")