• 685 Citations
19972019
If you made any changes in Pure these will be visible here soon.

Research Output 1997 2019

Filter
Report
1998

Comparative semantics for a process language with probabilistic choice and non-determinism

Hartog, den, J. I., 1998, Amsterdam: Vrije Universiteit Amsterdam. 50 p. (Vrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport; vol. 445)

Research output: Book/ReportReportAcademic

Open Access
File
Nondeterminism
Model
Multiset
Language
Semantics
2004

A logic for auditing accountability in decentralized systems

Corin, R. J., Etalle, S., Hartog, den, J. I., Lenzini, G. & Staicu, I. S., 2004, Enschede: Universiteit Twente. 17 p. (CTIT Technical Report; vol. TR-CTIT-04-27)

Research output: Book/ReportReportAcademic

Link-layer jamming attacks on S-MAC

Law, Y. W., Hartel, P. H., Hartog, den, J. I. & Havinga, P. J. M., 2004, Enschede: Universiteit Twente. 8 p. (CTIT Technical Report; vol. TR-CTIT-04-52)

Research output: Book/ReportReportAcademic

Power analysis on smartcard algorithms using simulation

Hollestelle, G., Burgers, W. F. P. W. & Hartog, den, J. I., 2004, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0422)

Research output: Book/ReportReportAcademic

Open Access
File

Virtual analysis and reduction of side-channel vulnerabilities of smartcards

Hartog, den, J. I. & Vink, de, E. P., 2004, Enschede: Universiteit Twente. 14 p. (CTIT Technical Report; vol. TR-CTIT-04-34)

Research output: Book/ReportReportAcademic

2005
43 Citations (Scopus)

An audit logic for accountability

Cederquist, J. G., Corin, R. J., Dekker, M. A. C. & Hartog, den, J. I., 2005, Enschede: Universiteit Twente. 24 p. (CTIT Technical Report; vol. TR-CTIT-05-11)

Research output: Book/ReportReportAcademic

A probabilistic Hoare-style logic for game-based cryptographic proofs

Corin, R. J. & Hartog, den, J. I., 2005, IACR. 18 p. (Cryptology ePrint Archive; vol. 2005/467)

Research output: Book/ReportReportAcademic

Functional principles of registry-based service discovery

Sundramoorthy, V., Tan, C., Hartel, P. H., Hartog, den, J. I. & Scholten, J., 2005, Enschede: Universiteit Twente. 8 p. (CTIT Technical Report; vol. TR-CTIT-05-18)

Research output: Book/ReportReportAcademic

Network protocols
Network layers
Formal verification

Nonmonotonic trust management for P2P applications

Czenko, M., Tran, H., Doumen, J. M., Etalle, S., Hartel, P. H. & Hartog, den, J. I., 2005, Enschede: Universiteit Twente. 12 p. (CTIT Technical Report; vol. TR-CTIT-05-22)

Research output: Book/ReportReportAcademic

2006

Privacy in an ambient world

Dekker, M. A. C., Etalle, S. & Hartog, den, J. I., 2006, Enschede: Universiteit Twente. 15 p. (CTIT Technical Report; vol. TR-CTIT-06-16)

Research output: Book/ReportReportAcademic

The audit logic : policy compliance in distributed systems

Cederquist, J. G., Corin, R. J., Dekker, M. A. C., Etalle, S., Hartog, den, J. I. & Lenzini, G., 2006, Enschede: Universiteit Twente. 14 p. (CTIT Technical Report; vol. TR-CTIT-06-33)

Research output: Book/ReportReportAcademic

2007

A comparison of Java Cards : state-of-affairs 2006

Mostowski, W., Pan, J., Akkiraju, S., Vink, de, E. P., Poll, E. & Hartog, den, J. I., 2007, Eindhoven: Technische Universiteit Eindhoven. 64 p. (Computer science reports; vol. 0706)

Research output: Book/ReportReportAcademic

Open Access
File
Cryptography
Data storage equipment
Testing
Compliance

Audit-based compliance control (AC2) for EHR systems

Dekker, M. A. C., Hartog, den, J. I. & Etalle, S., 2007, Enschede: Universiteit Twente. 15 p. (CTIT Technical Report; vol. TR-CTIT-07-46)

Research output: Book/ReportReportAcademic

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

Hartog, den, J. I., 2007, Enschede: Universiteit Twente. (CTIT Technical Report; vol. TR-CTIT-07-53)

Research output: Book/ReportReportAcademic

2014

Analysis of XACML policies with SMT

Turkmen, F., Hartog, den, J. I., Ranise, S. & Zannone, N., 2014, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 1408)

Research output: Book/ReportReportAcademic

Open Access
File
Surface mount technology
Access control
XML
Markup languages
Specifications