den Hartog, Jerry I.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 2017 Workshop - Dallas, Texas, USA (2017.11.03-2017.11.03)] Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy - CPS '17 - From System Specification to Anomaly Detection (and back)

Fauri, Davide, dos Santos, Daniel Ricardo, Costante, Elisa, den Hartog, Jerry, Etalle, Sandro, Tonetta, Stefano

Year:

2017

Language:

english

File:

PDF, 1.96 MB

english, 2017

2

[IEEE 2011 IEEE 4th International Conference on Cloud Computing (CLOUD) - Washington, DC, USA (2011.07.4-2011.07.9)] 2011 IEEE 4th International Conference on Cloud Computing - My Private Cloud Overview: A Trust, Privacy and Security Infrastructure for the Cloud

Chadwick, David W., Lievens, Stijn F., den Hartog, Jerry I., Pashalidis, Andreas, Alhadeff, Joseph

Year:

2011

Language:

english

File:

PDF, 137 KB

english, 2011

3

[IEEE 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm) - Dresden (2017.10.23-2017.10.27)] 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm) - Encryption in ICS networks: A blessing or a curse?

Fauri, Davide, de Wijs, Bart, den Hartog, Jerry, Costante, Elisa, Zambon, Emmanuele, Etalle, Sandro

Year:

2017

Language:

english

File:

PDF, 568 KB

english, 2017

4

Nonmonotonic Trust Management for P2P Applications

Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter Hartel, Jerry den Hartog

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 348 KB

english, 2006

5

Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 115 KB

english, 2011

6

Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic

Jerry den Hartog

Journal:

Science of Computer Programming

Year:

2008

Language:

english

File:

PDF, 711 KB

english, 2008

7

[IEEE 2011 Workshop on Socio-Technical Aspects in Security and Trust (STAST) - Milan, Italy (2011.09.8-2011.09.8)] 2011 1st Workshop on Socio-Technical Aspects in Security and Trust (STAST) - On-line trust perception: What really matters

Costante, Elisa, den Hartog, Jerry, Petkovic, Milan

Year:

2011

Language:

english

File:

PDF, 2.94 MB

english, 2011

8

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Formal Verification of Privacy for RFID Systems

Brusó, Mayla, Chatzikokolakis, Konstantinos, Hartog, Jerry den

Year:

2010

Language:

english

File:

PDF, 424 KB

english, 2010

9

[IEEE 2010 IEEE Symposium on Security and Privacy - Oakland, CA, USA (2010.05.16-2010.05.19)] 2010 IEEE Symposium on Security and Privacy - Towards Static Flow-Based Declassification for Legacy and Untrusted Programs

Rocha, Bruno P. S., Bandhakavi, Sruthi, Hartog, Jerry den, Winsborough, William H., Etalle, Sandro

Year:

2010

Language:

english

File:

PDF, 532 KB

english, 2010

10

[IEEE 2014 International Conference on Collaboration Technologies and Systems (CTS) - Minneapolis, MN, USA (2014.5.19-2014.5.23)] 2014 International Conference on Collaboration Technologies and Systems (CTS) - CollAC: Collaborative access control

Damen, Stan, den Hartog, Jerry, Zannone, Nicola

Year:

2014

Language:

english

File:

PDF, 872 KB

english, 2014

11

Understanding Perceived Trust to Reduce Regret

Costante, Elisa, den Hartog, Jerry, Petković, Milan

Journal:

Computational Intelligence

Year:

2015

Language:

english

File:

PDF, 1.30 MB

english, 2015

12

[ACM Press the 2014 ACM SIGSAC Conference - Scottsdale, Arizona, USA (2014.11.03-2014.11.07)] Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14 - POSTER

Turkmen, Fatih, Hartog, Jerry den, Zannone, Nicola

Year:

2014

Language:

english

File:

PDF, 893 KB

english, 2014

13

[ACM Press the 2012 ACM workshop - Raleigh, North Carolina, USA (2012.10.15-2012.10.15)] Proceedings of the 2012 ACM workshop on Privacy in the electronic society - WPES '12 - A machine learning solution to assess privacy policy completeness

Costante, Elisa, Sun, Yuanhao, Petković, Milan, den Hartog, Jerry

Year:

2012

Language:

english

File:

PDF, 650 KB

english, 2012

14

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - POSTER: TRIPLEX

Veeningen, Meilof, Brusò, Mayla, den Hartog, Jerry, Zannone, Nicola

Year:

2013

Language:

english

File:

PDF, 604 KB

english, 2013

15

[IEEE 2015 10th International Conference on Availability, Reliability and Security (ARES) - Toulouse, France (2015.8.24-2015.8.27)] 2015 10th International Conference on Availability, Reliability and Security - Cross-Domain Attribute Conversion for Authentication and Authorization

Thaler, Stefan, Hartog, Jerry Den, Ayed, Dhouha, Sommer, Dieter, Hitchens, Michael

Year:

2015

Language:

english

File:

PDF, 662 KB

english, 2015

16

[ACM Press the 31st Annual ACM Symposium - Pisa, Italy (2016.04.04-2016.04.08)] Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 - Reading between the fields

Yüksel, Ömer, den Hartog, Jerry, Etalle, Sandro

Year:

2016

Language:

english

File:

PDF, 730 KB

english, 2016

17

[ACM Press the 2016 ACM International Workshop - New Orleans, Louisiana, USA (2016.03.11-2016.03.11)] Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control - ABAC '16 - A Policy Framework for Data Fusion and Derived Data Control

den Hartog, Jerry, Zannone, Nicola

Year:

2016

Language:

english

File:

PDF, 1.05 MB

english, 2016

18

[IEEE 2016 IEEE Security and Privacy Workshops (SPW) - San Jose, CA, USA (2016.5.22-2016.5.26)] 2016 IEEE Security and Privacy Workshops (SPW) - A Hybrid Framework for Data Loss Prevention and Detection

Costante, Elisa, Fauri, Davide, Etalle, Sandro, Hartog, Jerry Den, Zannone, Nicola

Year:

2016

Language:

english

File:

PDF, 978 KB

english, 2016

19

[ACM Press the Sixth ACM - New Orleans, Louisiana, USA (2016.03.09-2016.03.11)] Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy - CODASPY '16 - An Authorization Service for Collaborative Situation Awareness

Egner, Alexandru Ionut, Luu, Duc, den Hartog, Jerry, Zannone, Nicola

Year:

2016

Language:

english

File:

PDF, 679 KB

english, 2016

20

Formal analysis of XACML policies using SMT

Turkmen, Fatih, den Hartog, Jerry, Ranise, Silvio, Zannone, Nicola

Journal:

Computers & Security

Year:

2017

Language:

english

File:

PDF, 1024 KB

english, 2017

21

SAFAX â€“ An Extensible Authorization Service for Cloud Environments

Kaluvuri, Samuel Paul, Egner, Alexandru Ionut, den Hartog, Jerry, Zannone, Nicola

Journal:

Frontiers in ICT

Year:

2015

Language:

english

File:

PDF, 2.91 MB

english, 2015

22

Security and privacy for innovative automotive applications: A survey

Le, Van Huynh, den Hartog, Jerry, Zannone, Nicola

Journal:

Computer Communications

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

23

A Flexible Architecture for Privacy-Aware Trust Management

Böhm, Klemens, Etalle, Sandro, den Hartog, Jerry, Hütter, Christian, Trabelsi, Slim, Trivellato, Daniel, Zannone, Nicola

Journal:

Journal of theoretical and applied electronic commerce research

Year:

2010

Language:

english

File:

PDF, 596 KB

english, 2010

24

[IEEE 2019 IEEE International Conference on Vehicular Electronics and Safety (ICVES) - Cairo, Egypt (2019.9.4-2019.9.6)] 2019 IEEE International Conference of Vehicular Electronics and Safety (ICVES) - A Survey of Network Intrusion Detection Systems for Controller Area Network

Dupont, Guillaume, den Hartog, Jerry, Etalle, Sandro, Lekidis, Alexios

Year:

2019

File:

PDF, 160 KB

2019

25

[IEEE 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE) - Graz, Austria (2019.11.4-2019.11.8)] 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE) - Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN

Dupont, Guillaume, Den Hartog, Jerry, Etalle, Sandro, Lekidis, Alexios

Year:

2019

File:

PDF, 1.77 MB

2019