- Subscribe to this page:
- RSS
- Email Alert
Christian-Albrechts-Universitat zu Kiel
(9 results)-
White Papers
CurryBrowser: A Generic Analysis Environment for Curry Programs
February 1, 2008, 12:00am PST
The authors present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
A Simulation-Based Treatment of Authenticated Message Exchange
July 28, 2009, 12:00am PDT
Simulation-based security notions for cryptographic protocols are regarded as highly desirable, primarily because they admit strong composability and, consequently, a modular design. In this...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Computationally Secure Two-Round Authenticated Message Exchange
January 11, 2010, 12:00am PST
The authors prove secure a concrete and practical two-round authenticated message exchange protocol which reflects the authentication mechanisms for web services discussed in various...
Provided by Christian-Albrechts-Universitat zu Kiel
-
Whitepapers
Deciding Epistemic and Strategic Properties of Cryptographic Protocols
June 14, 2012, 12:00am PDT
In design and verification of cryptographic protocols, symbolic techniques [DY83] have proven very successful. A breakthrough result in this area is that secrecy properties of protocols can be...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Implementing Equational Constraints in a Functional Language
August 29, 2011, 12:00am PDT
KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. The implementation is based on the idea to represent the search...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
KiCS2: A New Compiler From Curry to Haskell
May 10, 2011, 12:00am PDT
In this paper, the authors present their first steps towards a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. Their...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Lazy and Enforceable Assertions for Functional Logic Programs
October 29, 2010, 12:00am PDT
Assertions or contracts are an important technique to improve the quality of software. Thus, assertions are also desirable for functional logic programming. Unfortunately, there is no established...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Transforming Functional Logic Programs into Monadic Functional Programs
November 21, 2010, 12:00am PST
The authors present a high-level transformation scheme to translate lazy functional logic programs into pure Haskell programs. This transformation is based on a recent proposal to efficiently...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Constructing a Bidirectional Transformation Between BPMN and BPEL With a Functional Logic Programming Language
October 26, 2010, 12:00am PDT
In this paper, the authors show how functional logic programming techniques can be used to construct a bidirectional transformation between structured process models of the Business Process...
Provided by Christian-Albrechts-Universitat zu Kiel
-
Whitepapers
Deciding Epistemic and Strategic Properties of Cryptographic Protocols
June 14, 2012, 12:00am PDT
In design and verification of cryptographic protocols, symbolic techniques [DY83] have proven very successful. A breakthrough result in this area is that secrecy properties of protocols can be...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Constructing a Bidirectional Transformation Between BPMN and BPEL With a Functional Logic Programming Language
October 26, 2010, 12:00am PDT
In this paper, the authors show how functional logic programming techniques can be used to construct a bidirectional transformation between structured process models of the Business Process...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Transforming Functional Logic Programs into Monadic Functional Programs
November 21, 2010, 12:00am PST
The authors present a high-level transformation scheme to translate lazy functional logic programs into pure Haskell programs. This transformation is based on a recent proposal to efficiently...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Lazy and Enforceable Assertions for Functional Logic Programs
October 29, 2010, 12:00am PDT
Assertions or contracts are an important technique to improve the quality of software. Thus, assertions are also desirable for functional logic programming. Unfortunately, there is no established...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
KiCS2: A New Compiler From Curry to Haskell
May 10, 2011, 12:00am PDT
In this paper, the authors present their first steps towards a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. Their...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Implementing Equational Constraints in a Functional Language
August 29, 2011, 12:00am PDT
KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. The implementation is based on the idea to represent the search...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
Computationally Secure Two-Round Authenticated Message Exchange
January 11, 2010, 12:00am PST
The authors prove secure a concrete and practical two-round authenticated message exchange protocol which reflects the authentication mechanisms for web services discussed in various...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
A Simulation-Based Treatment of Authenticated Message Exchange
July 28, 2009, 12:00am PDT
Simulation-based security notions for cryptographic protocols are regarded as highly desirable, primarily because they admit strong composability and, consequently, a modular design. In this...
Provided by Christian-Albrechts-Universitat zu Kiel
-
White Papers
CurryBrowser: A Generic Analysis Environment for Curry Programs
February 1, 2008, 12:00am PST
The authors present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Provided by Christian-Albrechts-Universitat zu Kiel
Keep Up with TechRepublic
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!
