• 746 Citations
19972019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Report
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
351 Downloads (Pure)
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
73 Downloads (Pure)

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

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

2005

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

43 Citations (Scopus)

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

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

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
37 Downloads (Pure)

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

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
24 Downloads (Pure)