- Subscribe to this page:
- RSS
- Email Alert
University of Trier
(13 results)-
White Papers
Bulwark, Trojan Horse Or What? Citizen's Attitudes Towards The EU's Role In The Process of Globalization
March 1, 2009, 12:00am PST
The current wave of globalization until 2008 was characterized by unprecedented worldwide flows of goods, capital, people, information, and ideas. So is European integration on a regional...
Provided by University of Trier
-
White Papers
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities With Local Computation
April 11, 2008, 12:00am PDT
Composition theorems in simulation-based approaches allow building complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and Rabin, this...
Provided by University of Trier
-
White Papers
Ideal Key Derivation and Encryption in Simulation-Based Security
October 11, 2010, 12:00am PDT
Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a composable way, in this paper...
Provided by University of Trier
-
White Papers
A Game-Based Definition of Coercion-Resistance and Its Applications
November 30, 2009, 12:00am PST
Coercion-resistance is one of the most important and intricate security requirements for voting protocols. Several definitions of coercion-resistance have been proposed in the literature, both in...
Provided by University of Trier
-
White Papers
Universally Composable Symmetric Encryption
February 1, 2009, 12:00am PST
For most basic cryptographic tasks, such as public key encryption, digital signatures, authentication, key exchange, and many other more sophisticated tasks, ideal functionalities have been...
Provided by University of Trier
-
White Papers
Using ProVerif to Analyze Protocols With Diffie-Hellman Exponentiation
April 24, 2009, 12:00am PDT
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the eXclusive OR (XOR) and Diffie-Hellman...
Provided by University of Trier
-
White Papers
The Dynamics Of Financial Crises And The Risk To Defend The Exchange Rate
December 1, 2010, 12:00am PST
Despite major recent advance in the literature on financial crises, the key role of central banks in the dynamics of financial crises is still not well understood. The authors aim is to contribute...
Provided by University of Trier
-
Whitepapers
A Novel SIR-Based Access Scheme for Multi-Packet Communication in 802.11 Networks
May 24, 2012, 12:00am PDT
This paper proposes a novel Medium Access Control (MAC) protocol for enabling multiple simultaneous communications in 802.11 networks where the nodes can use adaptive antenna arrays. The presented...
Provided by University of Trier
-
White Papers
HyperVerse: Simulation and Testbed Reconciled
February 20, 2009, 12:00am PST
When dealing with dynamic large-scale topologies such as those underlying Peer-To-Peer (P2P) Distributed Virtual Environments (DVE), one inescapably reaches the point where either simulations lack...
Provided by University of Trier
-
White Papers
The HyperVerse - Concepts for a Federated and Torrent-Based "3D Web"
February 15, 2008, 12:00am PST
The vision of a "3D Web" as a combination of massive online virtual environments and today's WWW currently attracts a lot of attention. While it provides a multitude of opportunities, the...
Provided by University of Trier
-
White Papers
A Framework for the Cryptographic Verification of Java-Like Programs
March 23, 2012, 12:00am PDT
The authors consider the problem of establishing cryptographic guarantees - in particular, computational indistinguishability - for Java or Java-like programs that use cryptography. For this...
Provided by University of Trier
-
White Papers
Clash Attacks on the Verifiability of E-Voting Systems
March 22, 2012, 12:00am PDT
Verifiability is a central property of modern e-voting systems. Intuitively, verifiability means that voters can check that their votes were actually counted and that the published result of the...
Provided by University of Trier
-
Whitepapers
Reducing Protocol Analysis With XOR to the XOR-Free Case in the Horn Theory Based Approach
August 6, 2008, 12:00am PDT
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils down to solving...
Provided by University of Trier
-
Whitepapers
A Novel SIR-Based Access Scheme for Multi-Packet Communication in 802.11 Networks
May 24, 2012, 12:00am PDT
This paper proposes a novel Medium Access Control (MAC) protocol for enabling multiple simultaneous communications in 802.11 networks where the nodes can use adaptive antenna arrays. The presented...
Provided by University of Trier
-
Whitepapers
Reducing Protocol Analysis With XOR to the XOR-Free Case in the Horn Theory Based Approach
August 6, 2008, 12:00am PDT
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils down to solving...
Provided by University of Trier
-
White Papers
Clash Attacks on the Verifiability of E-Voting Systems
March 22, 2012, 12:00am PDT
Verifiability is a central property of modern e-voting systems. Intuitively, verifiability means that voters can check that their votes were actually counted and that the published result of the...
Provided by University of Trier
-
White Papers
A Framework for the Cryptographic Verification of Java-Like Programs
March 23, 2012, 12:00am PDT
The authors consider the problem of establishing cryptographic guarantees - in particular, computational indistinguishability - for Java or Java-like programs that use cryptography. For this...
Provided by University of Trier
-
White Papers
The HyperVerse - Concepts for a Federated and Torrent-Based "3D Web"
February 15, 2008, 12:00am PST
The vision of a "3D Web" as a combination of massive online virtual environments and today's WWW currently attracts a lot of attention. While it provides a multitude of opportunities, the...
Provided by University of Trier
-
White Papers
HyperVerse: Simulation and Testbed Reconciled
February 20, 2009, 12:00am PST
When dealing with dynamic large-scale topologies such as those underlying Peer-To-Peer (P2P) Distributed Virtual Environments (DVE), one inescapably reaches the point where either simulations lack...
Provided by University of Trier
-
White Papers
The Dynamics Of Financial Crises And The Risk To Defend The Exchange Rate
December 1, 2010, 12:00am PST
Despite major recent advance in the literature on financial crises, the key role of central banks in the dynamics of financial crises is still not well understood. The authors aim is to contribute...
Provided by University of Trier
-
White Papers
Using ProVerif to Analyze Protocols With Diffie-Hellman Exponentiation
April 24, 2009, 12:00am PDT
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the eXclusive OR (XOR) and Diffie-Hellman...
Provided by University of Trier
-
White Papers
Universally Composable Symmetric Encryption
February 1, 2009, 12:00am PST
For most basic cryptographic tasks, such as public key encryption, digital signatures, authentication, key exchange, and many other more sophisticated tasks, ideal functionalities have been...
Provided by University of Trier
-
White Papers
A Game-Based Definition of Coercion-Resistance and Its Applications
November 30, 2009, 12:00am PST
Coercion-resistance is one of the most important and intricate security requirements for voting protocols. Several definitions of coercion-resistance have been proposed in the literature, both in...
Provided by University of Trier
-
White Papers
Ideal Key Derivation and Encryption in Simulation-Based Security
October 11, 2010, 12:00am PDT
Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a composable way, in this paper...
Provided by University of Trier
-
White Papers
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities With Local Computation
April 11, 2008, 12:00am PDT
Composition theorems in simulation-based approaches allow building complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and Rabin, this...
Provided by University of Trier
-
White Papers
Bulwark, Trojan Horse Or What? Citizen's Attitudes Towards The EU's Role In The Process of Globalization
March 1, 2009, 12:00am PST
The current wave of globalization until 2008 was characterized by unprecedented worldwide flows of goods, capital, people, information, and ideas. So is European integration on a regional...
Provided by University of Trier
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!
