- Subscribe to this page:
- RSS
- Email Alert
Radboud University Nijmegen
(30 results)-
White Papers
Testing the Java Card Applet Firewall
December 7, 2007, 12:00am PST
This paper discusses the methodology and results of testing the Java Card applet firewall mechanism. The main motivation for this work is the complexity of the firewall. Given the complexity,...
Provided by Radboud University Nijmegen
-
White Papers
Fully Verified JAVA CARD API Reference Implementation
June 27, 2007, 12:00am PDT
This paper presents a formally verified reference implementation of the JAVA CARD API. This case study has been developed with the KeY verification system. The KeY system allows them to...
Provided by Radboud University Nijmegen
-
White Papers
Short Paper: Privacy-Preserving ECC-Based Grouping Proofs for RFID
November 4, 2010, 12:00am PDT
The concept of grouping proofs has been introduced by Juels to permit RFID tags to generate a verifiable proof that they have been scanned simultaneously, even when readers or tags are potentially...
Provided by Radboud University Nijmegen
-
White Papers
Dismantling SecureMemory, CryptoMemory and CryptoRF
June 29, 2010, 12:00am PDT
This paper addresses the (in)security of the cryptographic mechanisms used in the Atmel product families SecureMemory, CryptoMemory, and CryptoRF. These products are integrated circuits,...
Provided by Radboud University Nijmegen
-
White Papers
Fuzzy Private Matching
October 25, 2007, 12:00am PDT
In the private matching problem, a client and a server each hold a set of n input elements. The client wants to privately compute the intersection of these two sets: he learns which elements he...
Provided by Radboud University Nijmegen
-
White Papers
Direct Chosen-Ciphertext Secure Identity-Based Key Encapsulation Without Random Oracles
August 4, 2006, 12:00am PDT
The authors describe a new and practical identity-based key encapsulation mechanism that is secure in the standard model against chosen-ciphertext (CCA2) attacks. Since the construction is direct...
Provided by Radboud University Nijmegen
-
White Papers
Institutions And The Relation Between Corruption And Economic Growth
January 1, 2009, 12:00am PST
The authors study the effects of corruption on economic growth in a framework that includes corruption as part of the institutional setting of countries. Using a formal growth framework where...
Provided by Radboud University Nijmegen
-
White Papers
The Identity Crisis Security, Privacy and Usability Issues in Identity Management
January 2, 2011, 12:00am PST
This paper studies the current 'Identity crisis' caused by the substantial security, privacy and usability shortcomings encountered in existing systems for identity management. Some of these...
Provided by Radboud University Nijmegen
-
Software
REshape HealthTalk 1.2 (Mobile)
January 4, 2012, 12:00am PST
Traveling far? Medical problems? Let this app help you communicate with a doctor in a foreign language: use REshape HealthTalk as your personal translator.This amazing little app allows you to...
Provided by Radboud University Nijmegen Medical Centre
-
White Papers
Implementing a Non-Strict Purely Functional Language in JavaScript
April 18, 2011, 12:00am PDT
This paper describes an implementation of a non-strict purely functional language in JavaScript. This particular implementation is based on the translation of a high-level functional language such...
Provided by Radboud University Nijmegen
-
White Papers
Embedding a Web-Based Workflow Management System in a Functional Language
March 17, 2010, 12:00am PDT
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms. These formalisms...
Provided by Radboud University Nijmegen
-
White Papers
Towards Dynamic Workflow Support for Crisis Management
May 1, 2010, 12:00am PDT
Current process support technology for crisis management is often limited to either sharing of information or hard-coded process support through dedicated systems. Workflow management systems have...
Provided by Radboud University Nijmegen
-
White Papers
Testing With Functional Reference Implementations
September 30, 2010, 12:00am PDT
This paper discusses the authors' approach to test programs that determine which candidates are elected in the Scottish Single Transferable Vote (STV) elections. Due to the lack of properties...
Provided by Radboud University Nijmegen
-
White Papers
Synthesis of Functions Using Generic Programming
January 26, 2010, 12:00am PST
In this paper, the authors have shown a very general and flexible approach to do inductive programming by a generate and test approach. The user defines the syntax of the functions to be generated...
Provided by Radboud University Nijmegen
-
White Papers
iTasks 2: iTasks for End-Users
February 11, 2010, 12:00am PST
WorkFlow Management Systems (WFMSs) are systems that generate, coordinate and monitor tasks performed by human workers in collaboration with automated (information) systems. The iTask system...
Provided by Radboud University Nijmegen
-
White Papers
A Typical Synergy: Dynamic Types and Generalised Algebraic Datatypes
January 28, 2010, 12:00am PST
The authors present a typical synergy between dynamic types (dynamics) and Generalised Algebraic DataTypes (GADTs). The former provides a clean approach to integrating dynamic typing in a...
Provided by Radboud University Nijmegen
-
White Papers
Applying Bayesian Networks for Intelligent Adaptable Printing Systems
May 18, 2009, 12:00am PDT
Bayesian networks are around more than twenty years by now. During the past decade they became quite popular in the scientific community. Researchers from application areas like psychology,...
Provided by Radboud University Nijmegen
-
White Papers
iEditors: Extending iTask With Interactive Plug-Ins
March 24, 2009, 12:00am PDT
The iTask library of Clean enables the user to specify web-enabled workflow systems on a high level of abstraction. Details like client-server communication, storage and retrieval of state...
Provided by Radboud University Nijmegen
-
White Papers
An Executable and Testable Semantics for iTasks
May 11, 2009, 12:00am PDT
The iTask system is an easy to use combinator library for specifying dynamic data dependent workflows in a very flexible way. The specified workflows are executed as a multi-user web-application....
Provided by Radboud University Nijmegen
-
White Papers
Between Types and Tables: Using Generic Programming for Automated Mapping Between Data Types and Relational Databases
April 9, 2009, 12:00am PDT
In today's digital society, information systems play an important role in many organizations. While their construction is a well understood software engineering process, it still requires much...
Provided by Radboud University Nijmegen
-
White Papers
Testing and Validating the Quality of Specifications
March 10, 2008, 12:00am PDT
Model-based testing of state based systems is known to be able to spot non-conformance issues. However, up to half of these issues appear to be errors in the model rather than in the system under...
Provided by Radboud University Nijmegen
-
White Papers
Validating Specifications for Model-Based Testing
March 10, 2008, 12:00am PDT
In model-based testing the behavior of a system under test is compared automatically with the behavior of a model. A significant fraction of issues found in testing appear to be caused by mistakes...
Provided by Radboud University Nijmegen
-
White Papers
Efficient and Type-Safe Generic Data Storage
February 29, 2008, 12:00am PST
In this paper, the authors present an elegant method for sequentializing arbitrary data using the generic language extension of the functional programming language Clean. The authors show how the...
Provided by Radboud University Nijmegen
-
White Papers
A Conference Management System Based on the iData Toolkit
February 26, 2007, 12:00am PST
The iData Toolkit is a purely functional toolkit for the Clean programming language to create highly dynamic, interactive, thin client web applications on a high level of abstraction. Its main...
Provided by Radboud University Nijmegen
-
White Papers
Equality Based Uniqueness Typing
March 12, 2007, 12:00am PDT
The authors define a uniqueness type system for the core lambda calculus which, unlike Clean's uniqueness system and the system they proposed in a previous paper, does not involve inequalities....
Provided by Radboud University Nijmegen
-
White Papers
Fully Automatic Testing With Functions as Specifications
June 12, 2006, 12:00am PDT
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and very expensive....
Provided by Radboud University Nijmegen
-
Software
AED4.US 2.4 (Mobile)
March 11, 2010, 12:00am PST
Locate the nearest AED (Automatic External Defibrillator) that has been signed up in this independent database. Find the one near your home, so you know just in case. Or find one if others called...
Provided by Radboud University Nijmegen Medical Centre
-
White Papers
Tearing Java Cards
July 31, 2006, 12:00am PDT
This paper reports on investigations into the JAVA CARD transaction mechanism, especially on the interaction with so-called non-atomic methods in the JAVA CARD API. This work started with efforts...
Provided by Radboud University Nijmegen
-
White Papers
Full Memory Read Attack on a Java Card
November 30, 2009, 12:00am PST
The authors present a simple attack on a Java Card smart card to perform arbitrary memory reads. The attack utilises a known technique of type confusion of the card's Java Virtual Machine by...
Provided by Radboud University Nijmegen
-
Software
AED4.US for iPad 2.0 (Mobile)
June 24, 2010, 12:00am PDT
Locate the nearest AED (Automatic External Defibrillator) that has been signed up in this independent database. Find the one near your home, so you know just in case. Or find one if others called...
Provided by Radboud University Nijmegen Medical Centre
-
White Papers
Tearing Java Cards
July 31, 2006, 12:00am PDT
This paper reports on investigations into the JAVA CARD transaction mechanism, especially on the interaction with so-called non-atomic methods in the JAVA CARD API. This work started with efforts...
Provided by Radboud University Nijmegen
-
White Papers
Full Memory Read Attack on a Java Card
November 30, 2009, 12:00am PST
The authors present a simple attack on a Java Card smart card to perform arbitrary memory reads. The attack utilises a known technique of type confusion of the card's Java Virtual Machine by...
Provided by Radboud University Nijmegen
-
Software
AED4.US 2.4 (Mobile)
March 11, 2010, 12:00am PST
Locate the nearest AED (Automatic External Defibrillator) that has been signed up in this independent database. Find the one near your home, so you know just in case. Or find one if others called...
Provided by Radboud University Nijmegen Medical Centre
-
Software
AED4.US for iPad 2.0 (Mobile)
June 24, 2010, 12:00am PDT
Locate the nearest AED (Automatic External Defibrillator) that has been signed up in this independent database. Find the one near your home, so you know just in case. Or find one if others called...
Provided by Radboud University Nijmegen Medical Centre
-
White Papers
Fully Automatic Testing With Functions as Specifications
June 12, 2006, 12:00am PDT
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and very expensive....
Provided by Radboud University Nijmegen
-
White Papers
Equality Based Uniqueness Typing
March 12, 2007, 12:00am PDT
The authors define a uniqueness type system for the core lambda calculus which, unlike Clean's uniqueness system and the system they proposed in a previous paper, does not involve inequalities....
Provided by Radboud University Nijmegen
-
White Papers
A Conference Management System Based on the iData Toolkit
February 26, 2007, 12:00am PST
The iData Toolkit is a purely functional toolkit for the Clean programming language to create highly dynamic, interactive, thin client web applications on a high level of abstraction. Its main...
Provided by Radboud University Nijmegen
-
White Papers
Efficient and Type-Safe Generic Data Storage
February 29, 2008, 12:00am PST
In this paper, the authors present an elegant method for sequentializing arbitrary data using the generic language extension of the functional programming language Clean. The authors show how the...
Provided by Radboud University Nijmegen
-
White Papers
Validating Specifications for Model-Based Testing
March 10, 2008, 12:00am PDT
In model-based testing the behavior of a system under test is compared automatically with the behavior of a model. A significant fraction of issues found in testing appear to be caused by mistakes...
Provided by Radboud University Nijmegen
-
White Papers
Testing and Validating the Quality of Specifications
March 10, 2008, 12:00am PDT
Model-based testing of state based systems is known to be able to spot non-conformance issues. However, up to half of these issues appear to be errors in the model rather than in the system under...
Provided by Radboud University Nijmegen
-
White Papers
Between Types and Tables: Using Generic Programming for Automated Mapping Between Data Types and Relational Databases
April 9, 2009, 12:00am PDT
In today's digital society, information systems play an important role in many organizations. While their construction is a well understood software engineering process, it still requires much...
Provided by Radboud University Nijmegen
-
White Papers
An Executable and Testable Semantics for iTasks
May 11, 2009, 12:00am PDT
The iTask system is an easy to use combinator library for specifying dynamic data dependent workflows in a very flexible way. The specified workflows are executed as a multi-user web-application....
Provided by Radboud University Nijmegen
-
White Papers
iEditors: Extending iTask With Interactive Plug-Ins
March 24, 2009, 12:00am PDT
The iTask library of Clean enables the user to specify web-enabled workflow systems on a high level of abstraction. Details like client-server communication, storage and retrieval of state...
Provided by Radboud University Nijmegen
-
White Papers
Applying Bayesian Networks for Intelligent Adaptable Printing Systems
May 18, 2009, 12:00am PDT
Bayesian networks are around more than twenty years by now. During the past decade they became quite popular in the scientific community. Researchers from application areas like psychology,...
Provided by Radboud University Nijmegen
-
White Papers
A Typical Synergy: Dynamic Types and Generalised Algebraic Datatypes
January 28, 2010, 12:00am PST
The authors present a typical synergy between dynamic types (dynamics) and Generalised Algebraic DataTypes (GADTs). The former provides a clean approach to integrating dynamic typing in a...
Provided by Radboud University Nijmegen
-
White Papers
iTasks 2: iTasks for End-Users
February 11, 2010, 12:00am PST
WorkFlow Management Systems (WFMSs) are systems that generate, coordinate and monitor tasks performed by human workers in collaboration with automated (information) systems. The iTask system...
Provided by Radboud University Nijmegen
-
White Papers
Synthesis of Functions Using Generic Programming
January 26, 2010, 12:00am PST
In this paper, the authors have shown a very general and flexible approach to do inductive programming by a generate and test approach. The user defines the syntax of the functions to be generated...
Provided by Radboud University Nijmegen
-
White Papers
Testing With Functional Reference Implementations
September 30, 2010, 12:00am PDT
This paper discusses the authors' approach to test programs that determine which candidates are elected in the Scottish Single Transferable Vote (STV) elections. Due to the lack of properties...
Provided by Radboud University Nijmegen
-
White Papers
Towards Dynamic Workflow Support for Crisis Management
May 1, 2010, 12:00am PDT
Current process support technology for crisis management is often limited to either sharing of information or hard-coded process support through dedicated systems. Workflow management systems have...
Provided by Radboud University Nijmegen
-
White Papers
Embedding a Web-Based Workflow Management System in a Functional Language
March 17, 2010, 12:00am PDT
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms. These formalisms...
Provided by Radboud University Nijmegen
-
White Papers
Implementing a Non-Strict Purely Functional Language in JavaScript
April 18, 2011, 12:00am PDT
This paper describes an implementation of a non-strict purely functional language in JavaScript. This particular implementation is based on the translation of a high-level functional language such...
Provided by Radboud University Nijmegen
-
Software
REshape HealthTalk 1.2 (Mobile)
January 4, 2012, 12:00am PST
Traveling far? Medical problems? Let this app help you communicate with a doctor in a foreign language: use REshape HealthTalk as your personal translator.This amazing little app allows you to...
Provided by Radboud University Nijmegen Medical Centre
-
White Papers
The Identity Crisis Security, Privacy and Usability Issues in Identity Management
January 2, 2011, 12:00am PST
This paper studies the current 'Identity crisis' caused by the substantial security, privacy and usability shortcomings encountered in existing systems for identity management. Some of these...
Provided by Radboud University Nijmegen
-
White Papers
Institutions And The Relation Between Corruption And Economic Growth
January 1, 2009, 12:00am PST
The authors study the effects of corruption on economic growth in a framework that includes corruption as part of the institutional setting of countries. Using a formal growth framework where...
Provided by Radboud University Nijmegen
-
White Papers
Direct Chosen-Ciphertext Secure Identity-Based Key Encapsulation Without Random Oracles
August 4, 2006, 12:00am PDT
The authors describe a new and practical identity-based key encapsulation mechanism that is secure in the standard model against chosen-ciphertext (CCA2) attacks. Since the construction is direct...
Provided by Radboud University Nijmegen
-
White Papers
Fuzzy Private Matching
October 25, 2007, 12:00am PDT
In the private matching problem, a client and a server each hold a set of n input elements. The client wants to privately compute the intersection of these two sets: he learns which elements he...
Provided by Radboud University Nijmegen
-
White Papers
Dismantling SecureMemory, CryptoMemory and CryptoRF
June 29, 2010, 12:00am PDT
This paper addresses the (in)security of the cryptographic mechanisms used in the Atmel product families SecureMemory, CryptoMemory, and CryptoRF. These products are integrated circuits,...
Provided by Radboud University Nijmegen
-
White Papers
Short Paper: Privacy-Preserving ECC-Based Grouping Proofs for RFID
November 4, 2010, 12:00am PDT
The concept of grouping proofs has been introduced by Juels to permit RFID tags to generate a verifiable proof that they have been scanned simultaneously, even when readers or tags are potentially...
Provided by Radboud University Nijmegen
-
White Papers
Fully Verified JAVA CARD API Reference Implementation
June 27, 2007, 12:00am PDT
This paper presents a formally verified reference implementation of the JAVA CARD API. This case study has been developed with the KeY verification system. The KeY system allows them to...
Provided by Radboud University Nijmegen
-
White Papers
Testing the Java Card Applet Firewall
December 7, 2007, 12:00am PST
This paper discusses the methodology and results of testing the Java Card applet firewall mechanism. The main motivation for this work is the complexity of the firewall. Given the complexity,...
Provided by Radboud University Nijmegen
Keep Up with TechRepublic
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
