The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of J. I. den Hartog Jerry den Hartog ( http://dblp.L3S.de/Authors/J._I._den_Hartog )

URL (Homepage):  https://venus.tue.nl/ep-cgi/ep_detail.opl?taal=NL&rn=20012328  Author page on DBLP  Author page in RDF  Community of J. I. den Hartog in ASPL-2

Publication years (Num. hits)
1997-2005 (15) 2006-2011 (17) 2012-2016 (22) 2017-2019 (10)
Publication types (Num. hits)
article(18) incollection(1) inproceedings(45)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 16 keywords

Results
Found 65 publication records. Showing 64 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis Network intrusion detection systems for in-vehicle network - Technical report. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle Role Inference + Anomaly Detection = Situational Awareness in BACnet Networks. Search on Bibsonomy DIMVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clara Bertolissi, Jerry den Hartog, Nicola Zannone Using Provenance for Secure Data Fusion in Cooperative Systems. Search on Bibsonomy SACMAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Van Huynh Le, Jerry den Hartog, Nicola Zannone Security and privacy for innovative automotive applications: A survey. Search on Bibsonomy Computer Communications The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Van Huynh Le, Jerry den Hartog, Nicola Zannone Feature Selection for Anomaly Detection in Vehicular Ad Hoc Networks. Search on Bibsonomy ICETE (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle Leveraging Semantics for Actionable Intrusion Detection in Building Automation Systems. Search on Bibsonomy CRITIS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy A white-box anomaly-based framework for database leakage detection. Search on Bibsonomy J. Inf. Sec. Appl. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone Formal analysis of XACML policies using SMT. Search on Bibsonomy Computers & Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Fauri, Bart de Wijs, Jerry den Hartog, Elisa Costante, Emmanuele Zambon, Sandro Etalle Encryption in ICS networks: A blessing or a curse? Search on Bibsonomy SmartGridComm The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta From System Specification to Anomaly Detection (and back). Search on Bibsonomy CPS-SPC@CCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexandru Ionut Egner, Duc Luu, Jerry den Hartog, Nicola Zannone An Authorization Service for Collaborative Situation Awareness. Search on Bibsonomy CODASPY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog, Nicola Zannone A Policy Framework for Data Fusion and Derived Data Control. Search on Bibsonomy ABAC@CODASPY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ömer Yüksel, Jerry den Hartog, Sandro Etalle Reading between the fields: practical, effective intrusion detection for industrial control systems. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ömer Yüksel, Jerry den Hartog, Sandro Etalle Towards Useful Anomaly Detection for Back Office Networks. Search on Bibsonomy ICISS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog, Nicola Zannone Collaborative Access Decisions: Why Has My Decision Not Been Enforced? Search on Bibsonomy ICISS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elisa Costante, Davide Fauri, Sandro Etalle, Jerry den Hartog, Nicola Zannone A Hybrid Framework for Data Loss Prevention and Detection. Search on Bibsonomy IEEE Symposium on Security and Privacy Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Thaler, Jerry den Hartog, Milan Petkovic Towards Creating Believable Decoy Project Folders for Detecting Data Theft. Search on Bibsonomy DBSec The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rauf Mahmudlu, Jerry den Hartog, Nicola Zannone Data Governance and Transparency for Collaborative Systems. Search on Bibsonomy DBSec The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Samuel Paul Kaluvuri, Alexandru Ionut Egner, Jerry den Hartog, Nicola Zannone SAFAX - An Extensible Authorization Service for Cloud Environments. Search on Bibsonomy Front. ICT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elisa Costante, Jerry den Hartog, Milan Petkovic Understanding Perceived Trust to Reduce Regret. Search on Bibsonomy Computational Intelligence The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone Analysis of XACML Policies with SMT. Search on Bibsonomy POST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Thaler, Jerry den Hartog, Dhouha Ayed, Dieter Sommer, Michael Hitchens Cross-Domain Attribute Conversion for Authentication and Authorization. Search on Bibsonomy ARES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stan Damen, Jerry den Hartog, Nicola Zannone CollAC: Collaborative access control. Search on Bibsonomy CTS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fatih Turkmen, Jerry den Hartog, Nicola Zannone POSTER: Analyzing Access Control Policies with SMT. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dhouha Ayed, Patrik Bichsel, Jan Camenisch, Jerry den Hartog Integration of Data-Minimising Authentication into Authorisation Systems. Search on Bibsonomy TRUST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog, Ilaria Matteucci Introducing Probabilities in Controller Strategies. Search on Bibsonomy DPM/SETOP/QASA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy Hunting the Unknown - White-Box Database Leakage Detection. Search on Bibsonomy DBSec The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Meilof Veeningen, Mayla Brusò, Jerry den Hartog, Nicola Zannone TRIPLEX: verifying data minimisation in communication systems. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elisa Costante, Sokratis Vavilis, Sandro Etalle, Jerry den Hartog, Milan Petkovic, Nicola Zannone Database Anomalous Activities - Detection and Quantification. Search on Bibsonomy SECRYPT The full citation details ... 2013 DBLP  BibTeX  RDF
1Elisa Costante, Jerry den Hartog, Milan Petkovic What Websites Know About You. Search on Bibsonomy DPM/SETOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mayla Brusò, Konstantinos Chatzikokolakis 0001, Sandro Etalle, Jerry den Hartog Linking Unlinkability. Search on Bibsonomy TGC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elisa Costante, Yuanhao Sun, Milan Petkovic, Jerry den Hartog A machine learning solution to assess privacy policy completeness: (short paper). Search on Bibsonomy WPES The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò 0001 Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elisa Costante, Jerry den Hartog, Milan Petkovic On-line trust perception: What really matters. Search on Bibsonomy STAST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David W. Chadwick, Stijn F. Lievens, Jerry den Hartog, Andreas Pashalidis, Joseph Alhadeff My Private Cloud Overview: A Trust, Privacy and Security Infrastructure for the Cloud. Search on Bibsonomy IEEE CLOUD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Security, Privacy, Trust, Reputation, Audit, Trust Negotiation, Sticky Policies
1Klemens Böhm, Sandro Etalle, Jerry den Hartog, Christian Hütter 0001, Slim Trabelsi, Daniel Trivellato, Nicola Zannone A Flexible Architecture for Privacy-Aware Trust Management. Search on Bibsonomy JTAER The full citation details ... 2010 DBLP  BibTeX  RDF
1Mayla Brusò, Konstantinos Chatzikokolakis 0001, Jerry den Hartog Formal Verification of Privacy for RFID Systems. Search on Bibsonomy CSF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jing Pan, Jasper G. J. van Woudenberg, Jerry den Hartog, Marc F. Witteman Improving DPA by Peak Distribution Analysis. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jiqiang Lu, Jing Pan, Jerry den Hartog Principles on the Security of AES against First and Second-Order Differential Power Analysis. Search on Bibsonomy ACNS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jing Pan, J. I. den Hartog, Jiqiang Lu You Cannot Hide behind the Mask: Power Analysis on a Provably Secure S-Box Implementation. Search on Bibsonomy WISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jing Pan, J. I. den Hartog, Erik P. de Vink An Operation-Based Metric for CPA Resistance. Search on Bibsonomy SEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fred Spiessens, Jerry den Hartog, Sandro Etalle Know What You Trust. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini Audit-based compliance control. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Privacy, Access control, Policy, Audit
1Marnix Dekker, Sandro Etalle, Jerry den Hartog Privacy Policies. Search on Bibsonomy Security, Privacy, and Trust in Modern Data Management The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sandro Etalle, Jerry den Hartog, Stephen Marsh 0001 Trust and punishment. Search on Bibsonomy Autonomics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog Nonmonotonic Trust Management for P2P Applications. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ricardo Corin, Jerry den Hartog A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog An Audit Logic for Accountability Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog An Audit Logic for Accountability. Search on Bibsonomy POLICY The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ricardo Corin, Jerry den Hartog A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version). Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2005 DBLP  BibTeX  RDF
1Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog Nonmonotonic Trust Management for P2P Applications Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan Functional Principles of Registry-based Service Discovery. Search on Bibsonomy LCN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yee Wei Law, Pieter H. Hartel, Jerry den Hartog, Paul J. M. Havinga Link-layer jamming attacks on S-MAC. Search on Bibsonomy EWSN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu A Logic for Auditing Accountability in Decentralized Systems. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog, Erik P. de Vink Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2004 DBLP  DOI  BibTeX  RDF systematic hardening, simulation, side-channel attack, DPA, power analysis, smartcard, countermeasures, fault analysis
1Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma PINPAS: A Tool for Power Analysis of Smartcards. Search on Bibsonomy SEC The full citation details ... 2003 DBLP  BibTeX  RDF
1Jerry den Hartog, Erik P. de Vink Verifying Probabilistic Programs Using a Hoare Like Logic. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog, Erik P. de Vink, J. W. de Bakker Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog, Erik P. de Vink Mixing Up Nondeterminism and Probability: a preliminary report. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog, Erik P. de Vink, J. W. de Bakker Full Abstractness of a Metric Semantics for Action Refinement. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jerry den Hartog Verifying Probabilistic Programs Using a Hoare like Logic. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Eneia Todoran, Jerry den Hartog, Erik P. de Vink Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. Search on Bibsonomy ILPS The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #64 of 64 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license