1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Constructivizations -- Immune Systems in Computer Virology -- ITRM-Recognizability from Random Oracles -- Systems...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Accumulations on Distributed-Memory Parallel Computers -- SymGrid-Par: Designing a Framework for Executing...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... of Group-Based Key Agreement Protocols Using Subgroup Distance Functions -- Cryptanalysis -- Length Based...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- On the Complexity of Parallel Hardness Amplification for One-Way Functions -- Secret Sharing and Multi-party...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... of Discrete Logarithm -- Distributed Crypto-computing -- Efficient Polynomial Operations in the Shared...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Computation of Subgroup Keys -- Quantum Readout of Physical Unclonable Functions -- Ciphers and Hash Functions...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... and Multisignatures Without Random Oracles -- Multiparty Computation -- Our Data, Ourselves: Privacy Via Distributed...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Application to Security Evaluation of the HB Protocols for RFID Authentication -- Hash Functions -- Update...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... -- A New Strategy for Finding a Differential Path of SHA-1 -- Preimage Attack on the Parallel FFT...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... on Reduced-Round MISTY1.- Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ...-Party Computation -- Parallel Multi-party Computation from Linear Multi-secret Sharing Schemes...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... -- Revocation in Publicly Verifiable Outsourced Computation -- Private Aggregation with Custom Collusion...
View full text
Electronic eBook