| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pieter H. Hartel, Henk L. Muller |
Simple algebraic data types for C.  |
Softw., Pract. Exper.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuele Zambon, Sandro Etalle, Roel Wieringa, Pieter H. Hartel |
Model-based qualitative risk assessment for availability of IT infrastructures. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yee Wei Law, Giorgi Moniava, Zheng Gong, Pieter H. Hartel, Marimuthu Palaniswami |
KALwEN: a new practical and interoperable key management scheme for body sensor networks. |
Security and Communication Networks |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeed Sedghi, Pieter H. Hartel, Willem Jonker, Svetla Nikova |
Privacy Enhanced Access Control by Means of Policy Blinding. |
ISPEC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan Jeckmans, Qiang Tang, Pieter H. Hartel |
Privacy-preserving profile matching using the social graph. |
CASoN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Bösch, Richard Brinkman, Pieter H. Hartel, Willem Jonker |
Conjunctive Wildcard Search over Encrypted Data. |
Secure Data Management |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Trajce Dimkov, Wolter Pieters, Pieter H. Hartel |
Training students to steal: a practical assignment in computer security education. |
SIGCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan Jeckmans, Qiang Tang, Pieter H. Hartel |
Poster: privacy-preserving profile similarity computation in online social networks. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Ibraimi, Svetla Nikova, Pieter H. Hartel, Willem Jonker |
Public-Key Encryption with Delegated Search. |
ACNS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Qiang Tang, Raymond N. J. Veldhuis |
Embedding renewable cryptographic keys into noisy data. |
Int. J. Inf. Sec. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mohammed G. Khatib, Pieter H. Hartel |
Optimizing MEMS-based storage devices for mobile battery-powered systems. |
TOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed G. Khatib, Pieter H. Hartel, Hylke W. van Dijk |
Energy-Efficient Streaming Using Non-volatile Memory. |
Signal Processing Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker |
Exploring Type-and-Identity-Based Proxy Re-Encryption Scheme to Securely Manage Personal Health Records. |
IJCMAM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeed Sedghi, Peter van Liesdonk, Svetla Nikova, Pieter H. Hartel, Willem Jonker |
Searching Keywords with Wildcards on Encrypted Data. |
SCN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Trajce Dimkov, Wolter Pieters, Pieter H. Hartel |
Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter van Liesdonk, Saeed Sedghi, Jeroen Doumen, Pieter H. Hartel, Willem Jonker |
Computationally Efficient Searchable Symmetric Encryption. |
Secure Data Management |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Trajce Dimkov, Wolter Pieters, Pieter H. Hartel |
Two methodologies for physical penetration testing using social engineering. |
ACSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dina Hadziosmanovic, Damiano Bolzoni, Pieter H. Hartel |
MEDUSA: Mining Events to Detect Undesirable uSer Actions in SCADA. |
RAID |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Trajce Dimkov, Wolter Pieters, Pieter H. Hartel |
Laptop theft: a case study on the effectiveness of security mechanisms in open organizations. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ileana Buhan, Bas Boom, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis |
Secure pairing with biometrics. |
IJSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ileana Buhan, Jeroen Doumen, Pieter H. Hartel |
Fuzzy extractors for continuous distributions. |
IACR Cryptology ePrint Archive |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yee Wei Law, Marimuthu Palaniswami, Lodewijk van Hoesel, Jeroen Doumen, Pieter H. Hartel, Paul J. M. Havinga |
Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. |
TOSN |
2009 |
DBLP DOI BibTeX RDF |
clustering, MAC protocols, expectation maximization, jamming, denial-of-service attacks |
| 1 | Luan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker |
Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. |
ISPEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed G. Khatib, Pieter H. Hartel |
Policies for probe-wear leveling in MEMS-based storage devices. |
MASCOTS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Ibraimi, Milan Petkovic, Svetla Nikova, Pieter H. Hartel, Willem Jonker |
Mediated Ciphertext-Policy Attribute-Based Encryption and Its Application. |
WISA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel |
Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. |
RAID |
2009 |
DBLP DOI BibTeX RDF |
attack classification, anomaly-based intrusion detection systems |
| 1 | Zheng Gong, Pieter H. Hartel, Svetla Nikova, Bo Zhu |
Towards Secure and Practical MACs for Body Sensor Networks. |
INDOCRYPT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca Marin-Perianu, Hans Scholten, Paul J. M. Havinga, Pieter H. Hartel |
Cluster-based service discovery for heterogeneous wireless sensor networks. |
IJPEDS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Qiang Tang, Raymond N. J. Veldhuis |
Embedding Renewable Cryptographic Keys into Continuous Noisy Data. |
ICICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeed Sedghi, Jeroen Doumen, Pieter H. Hartel, Willem Jonker |
Towards an Information Theoretic Analysis of Searchable Encryption. |
ICICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel |
Workload-based configuration of MEMS-based storage devices for mobile systems. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
probe-based storage, mems, data layout |
| 1 | Qiang Tang, Pieter H. Hartel, Willem Jonker |
Inter-domain Identity-Based Proxy Re-encryption. |
Inscrypt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen |
Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca Marin-Perianu, Johann Hurink, Pieter H. Hartel |
A Generalized Clustering Algorithm for Dynamic Wireless Sensor Networks. |
ISPA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker |
A Type-and-Identity-Based Proxy Re-encryption Scheme and Its Application in Healthcare. |
Secure Data Management |
2008 |
DBLP DOI BibTeX RDF |
Identity-Based Encryption, Proxy re-encryption, Personal Health Record |
| 1 | Mohammed G. Khatib, Pieter H. Hartel |
Power management of MEMS-based storage devices for mobile systems. |
CASES |
2008 |
DBLP DOI BibTeX RDF |
probe-based storage, power management, energy, MEMS |
| 1 | Pieter H. Hartel, Leon Abelmann, Mohammed G. Khatib |
Towards Tamper-evident Storage on Patterned Media. |
FAST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader |
Timed analysis of security protocols. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis |
Feeling Is Believing: A Secure Template Exchange Protocol. |
ICB |
2007 |
DBLP DOI BibTeX RDF |
Ad-hoc authentication, fuzzy cryptography, biometrics |
| 1 | Mohammed G. Khatib, Berend-Jan van der Zwaag, Pieter H. Hartel, Gerard J. M. Smit |
Interposing Flash between Disk and DRAM to Save Energy for Streaming Workloads. |
ESTImedia |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis |
Fuzzy extractors for continuous distributions. |
ASIACCS |
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 | Yee Wei Law, Jeroen Doumen, Pieter H. Hartel |
Survey and benchmark of block ciphers for wireless sensor networks. |
TOSN |
2006 |
DBLP DOI BibTeX RDF |
Sensor networks, cryptography, energy efficiency, block ciphers |
| 1 | Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff |
LicenseScript: a logical language for digital rights management. |
Annales des Télécommunications |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasughi Sundramoorthy, Pieter H. Hartel, Hans Scholten |
On consistency maintenance in service discovery. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca Marin-Perianu, Hans Scholten, Paul J. M. Havinga, Pieter H. Hartel |
Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks. |
LCN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel, Emmanuele Zambon |
POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System. |
IWIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ileana Buhan, Asker M. Bazen, Pieter H. Hartel, Raymond N. J. Veldhuis |
A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems. |
ICB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante |
A Trace Logic for Local Security Properties. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle, Pieter H. Hartel |
Poseidon: a 2-tier Anomaly-based Intrusion Detection System |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader |
Timed Analysis of Security Protocols |
CoRR |
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 | Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis |
Service Brokerage in Prolog. |
ICEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jieyin Cheng, Cheun Ngen Chong, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Stefan Nikolaus |
StreamTo: Streaming Content using a Tamper-Resistant Token. |
SEC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pieter H. Hartel |
A Trace Semantics for Positive Core XPath. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yee Wei Law, Lodewijk van Hoesel, Jeroen Doumen, Pieter H. Hartel, Paul J. M. Havinga |
Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. |
SASN |
2005 |
DBLP DOI BibTeX RDF |
security, clustering, MAC protocols, jamming, denial-of-service attacks |
| 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 | Richard Brinkman, Ling Feng, Jeroen Doumen, Pieter H. Hartel, Willem Jonker |
Efficient Tree Search in Encrypted Data. |
Information Systems Security |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ton Kalker, Dick H. J. Epema, Pieter H. Hartel, Reginald L. Lagendijk, Maarten van Steen |
Music2Share - Copyright-Compliant Music Sharing in P2P Systems. |
Proceedings of the IEEE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel |
A Trace Logic for Local Security Properties |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pieter H. Hartel, Henk L. Muller, Hugh Glaser |
The Functional "C" experience. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond N. J. Veldhuis, Asker M. Bazen, Joost A. Kauffman, Pieter H. Hartel |
Biometric verification based on grip-pattern recognition. |
Security, Steganography, and Watermarking of Multimedia Contents |
2004 |
DBLP BibTeX RDF |
|
| 1 | Cheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin |
License Protection with a Tamper-Resistant Token. |
WISA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa |
Modelling Mobility Aspects of Security Policies. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Brinkman, Ling Feng, Jeroen Doumen, Pieter H. Hartel, Willem Jonker |
Efficient Tree Search in Encrypted Data. |
WOSIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader |
Timed model checking of security protocols. |
FMSE |
2004 |
DBLP DOI BibTeX RDF |
timed model checking, security protocols, timed automata |
| 1 | Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law |
Approximating Fair Use in LicenseScript. |
ICADL |
2003 |
DBLP DOI BibTeX RDF |
metadata security, copyright, Intellectual property rights, fair use, rights expression language |
| 1 | Cheun Ngen Chong, Zhonghong Peng, Pieter H. Hartel |
Secure Audit Logging with Tamper-Resistant Hardware. |
SEC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yee Wei Law, Sandro Etalle, Pieter H. Hartel |
Assessing Security in Energy-Efficient Sensor Networks. |
SEC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel |
Comparing Logic-Based and XML-Based Rights Expression Languages. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel |
A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. |
PWC |
2003 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, key management, protocol verification |
| 1 | Cheun Ngen Chong, René van Buuren, Pieter H. Hartel, Geert Kleinhuis |
Security Attributes Based Digital Rights Management. |
IDMS/PROMS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel |
The State of WG 8.8. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Erik Poll, Pieter H. Hartel, Eduard de Jong |
A Java Reference Model of Transacted Memory for Smart Cards. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Hans Scholten, Pierre G. Jansen, Ferdy Hanssen, Pieter H. Hartel, T. Hattink, Vasughi Sundramoorthy |
Multimedia QoS in Low-Cost Home Networks. (PDF / PS) |
LCN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Domingo-Ferrer, Pieter H. Hartel |
Current directions in smart cards. |
Computer Networks |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Luc Moreau |
Formalizing the safety of Java, the Java virtual machine, and Java card. |
ACM Comput. Surv. |
2001 |
DBLP DOI BibTeX RDF |
programming, Common criteria |
| 1 | Neil J. Henderson, Neil M. White, Pieter H. Hartel |
iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Field, Pieter H. Hartel, Wim Mooij |
Personal DJ, an architecture for personalised content delivery. |
WWW |
2001 |
DBLP DOI BibTeX RDF |
user evaluation, personalisation, moods, radio |
| 1 | Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley |
Transacted Memory for Smart Cards. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Diehl, Pieter H. Hartel, Peter Sestoft |
Abstract machines for programming language implementation. |
Future Generation Comp. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Diehl, Pieter H. Hartel, Peter Sestoft |
Principles of abstract machines. |
Future Generation Comp. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugh Glaser, Pieter H. Hartel, Paul W. Garratt |
Programming by Numbers: A Programming Method for Novices. |
Comput. J. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel |
Formalising Java Safety - An overview. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Neil Henderson, Pieter H. Hartel |
Pressure Sequence - A Novel Method of Protecting Smart Cards. |
CARDIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pieter H. Hartel, Eduard de Jong |
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Etalle, Pieter H. Hartel, Willem G. Vree |
Declarative solutions to partitioned-grid problems. |
Softw., Pract. Exper. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel |
LETOS - a lightweight execution tool for operational semantics. |
Softw., Pract. Exper. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Pieter H. Hartel |
Reasoning about Grover's quantum search algorithm using probabilistic wp. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
quantum computation, quantum mechanics |
| 1 | Pieter H. Hartel, Michael J. Butler, Moshe Levy |
The Operational Semantics of a Java Secure Processor. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Jake Hill, Matt Sims |
An Operational Model of QuickPay - Extended Abstract. |
CARDIS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Henk L. Muller |
Functional C. |
|
1997 |
RDF |
|
| 1 | Hugh Glaser, Pieter H. Hartel, Herbert Kuchen (eds.) |
Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings |
PLILP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth |
Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Hugh Glaser |
The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugh Glaser, Pieter H. Hartel, Eduard K. de Jong Frz |
Structuring and Visualising an IC-card Security Standard. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz |
Using formal methods to cultivate trust in Smart Card Operating Systems. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Pieter H. Hartel, Jean-Jacques Quisquater |
Introduction to CARDIS 1996. |
CARDIS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Pieter H. Hartel, Rutger F. H. Hofman, Koen Langendoen, Henk L. Muller, Willem G. Vree, Louis O. Hertzberger |
A toolkit for parallel functional programming. |
Concurrency - Practice and Experience |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")