Search results for "constructions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Thomas Holenstein, Renato Renner	One-Way Secret-Key Agreement and Applications to Circuit Polarization and Immunization of Public-Key Encryption.	CRYPTO	2005	DBLP DOI BibTeX RDF
12	Jean-Sébastien Coron, Yevgeniy Dodis, Cécile Malinaud, Prashant Puniya	Merkle-Damgård Revisited: How to Construct a Hash Function.	CRYPTO	2005	DBLP DOI BibTeX RDF
12	Salil P. Vadhan	Constructing Locally Computable Extractors and Cryptosystems in the Bounded-Storage Model.	J. Cryptol.	2004	DBLP DOI BibTeX RDF	Everlasting security, Space-bounded adversaries, Averaging samplers, Expander graphs, Extractors, Unconditional security, Bounded-storage model
12	Carlo Blundo, Paolo D'Arco, Alfredo De Santis, Massimiliano Listo	Design of Self-Healing Key Distribution Schemes.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	group communication, key distribution, self-healing
12	Nikolaos Galatos, James G. Raftery	Adding Involution to Residuated Structures.	Stud Logica	2004	DBLP DOI BibTeX RDF	mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution
12	Martin Bertram 0001, Mark A. Duchaineau, Bernd Hamann, Kenneth I. Joy	Generalized B-Spline Subdivision-Surface Wavelets for Geometry Compression.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF	Arbitrary-topology meshes, subdivision surfaces, geometry compression, biorthogonal wavelets, multiresolution methods
12	Vladimir Kolmogorov, Ramin Zabih	What Energy Functions Can Be Minimized via Graph Cuts?	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	optimization, Markov Random Fields, graph algorithms, Energy minimization, maximum flow, minimum cut
12	Venkatesan Guruswami	Guest column: error-correcting codes and expander graphs.	SIGACT News	2004	DBLP DOI BibTeX RDF
12	Xavier Boyen	Reusable cryptographic fuzzy extractors.	CCS	2004	DBLP DOI BibTeX RDF	biometric keying, chosen perturbation security, fuzzy extractor, zero storage biometric authentication
12	Dennis Hofheinz, Jörn Müller-Quade	Universally Composable Commitments Using Random Oracles.	TCC	2004	DBLP DOI BibTeX RDF	universal composition, cryptographic protocols, commitment, random oracle
12	Douglas Wikström	A Universally Composable Mix-Net.	TCC	2004	DBLP DOI BibTeX RDF
12	Nicolas T. Courtois	The Inverse S-Box, Non-linear Polynomial Relations and Cryptanalysis of Block Ciphers.	AES Conference	2004	DBLP DOI BibTeX RDF	interpolation attack on block ciphers, fractional transformations, homographic functions, generalised linear cryptanalysis, bi-linear cryptanalysis, Block ciphers, AES, Rijndael, Feistel ciphers, multivariate equations
12	Ariel Gabizon, Ran Raz, Ronen Shaltiel	Deterministic Extractors for Bit-Fixing Sources by Obtaining an Independent Seed.	FOCS	2004	DBLP DOI BibTeX RDF
12	Mark-Oliver Stehr, José Meseguer 0001	Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
12	Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi	Büchi Complementation Made Tighter.	ATVA	2004	DBLP DOI BibTeX RDF
12	Reza Omrani, Oscar Moreno, P. Vijay Kumar	Topics on Optical Orthogonal Codes.	SETA	2004	DBLP DOI BibTeX RDF
12	Phillip Rogaway	Efficient Instantiations of Tweakable Blockciphers and Refinements to Modes OCB and PMAC.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
12	Sven Havemann, Dieter W. Fellner	Generative Parametric Design of Gothic Window Tracery.	SMI	2004	DBLP DOI BibTeX RDF
12	Stefan Lucks	Ciphers Secure against Related-Key Attacks.	FSE	2004	DBLP DOI BibTeX RDF
12	Phillip Rogaway	Nonce-Based Symmetric Encryption.	FSE	2004	DBLP DOI BibTeX RDF	Initialization vector, provable security, modes of operation, symmetric encryption, nonces
12	Venkatesan Guruswami	Better extractors for better codes?	STOC	2004	DBLP DOI BibTeX RDF	error-correcting codes, expander graphs, pseudorandomness, list decoding, randomness extractors
12	Gurmeet Singh Manku, Moni Naor, Udi Wieder	Know thy neighbor's neighbor: the power of lookahead in randomized P2P networks.	STOC	2004	DBLP DOI BibTeX RDF	random structures, peer to peer networks, greedy routing
12	Jonathan J. Hoch, Adi Shamir	Fault Analysis of Stream Ciphers.	CHES	2004	DBLP DOI BibTeX RDF	Lili-128, SOBER-t32, Stream cipher, LFSR, fault attack, RC4
12	Artiom Alhazov, Dragos Sburlan	Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
12	Martin D. Buhmann, Oleg Davydov, Tim N. T. Goodman	Cubic Spline Prewavelets on the Four-Directional Mesh.	Found. Comput. Math.	2003	DBLP DOI BibTeX RDF	AMS Classification. 41A15, 41A63, 65D07, 65D15, 65T60
12	G. M. Germano, Stefano Mazzanti	Cantor Diagrams: A Unifying Discussion of Self-Reference.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	Cantor diagonal method, Cantor diagrams, logical paradoxes, self-reference, incompleteness, Cartesian closed categories
12	Jon A. Sjogren	Principal Rings and their Invariant Factors.	Appl. Algebra Eng. Commun. Comput.	2003	DBLP DOI BibTeX RDF	Bézoutian ring, Module capacity, Smith canonical form, Distributive semi-group lattice, Invariant basis property
12	Marc Geilen	An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic.	CAV	2003	DBLP DOI BibTeX RDF
12	Xiaoju Dong, Yuxi Fu	Observing Asymmetry and Mismatch.	APLAS	2003	DBLP DOI BibTeX RDF
12	Athanasios Bouganis, Drue Coles	A Geometric View of Decoding AG Codes.	AAECC	2003	DBLP DOI BibTeX RDF
12	Heeralal Janwa	Good Expander Graphs and Expander Codes: Parameters and Decoding.	AAECC	2003	DBLP DOI BibTeX RDF
12	Rui Zhang 0002, Hideki Imai	Round Optimal Distributed Key Generation of Threshold Cryptosystem Based on Discrete Logarithm Problem.	ACNS	2003	DBLP DOI BibTeX RDF
12	Michael Merritt, Gadi Taubenfeld	Resilient Consensus for Infinitely Many Processes.	DISC	2003	DBLP DOI BibTeX RDF
12	Michele Flammini, Giorgio Gambosi, Alfredo Navarra	Wireless ATM Layouts for Chain Networks.	IPDPS	2003	DBLP DOI BibTeX RDF	wireless networks, ATM networks, mobile users, chains
12	Wonil Lee, Donghoon Chang, Sangjin Lee 0002, Soo Hak Sung, Mridul Nandi	New Parallel Domain Extenders for UOWHF.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	UOWHF, masking assignment, sequential construciton, parallel construction, tree based construction, hash function
12	Huaxiong Wang, Josef Pieprzyk	Efficient One-Time Proxy Signatures.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
12	Luca Trevisan	Error-Correcting Codes in Complexity Theory.	CIAC	2003	DBLP DOI BibTeX RDF
12	Ran Canetti, Shai Halevi, Jonathan Katz	A Forward-Secure Public-Key Encryption Scheme.	EUROCRYPT	2003	DBLP DOI BibTeX RDF	Bilinear Diffie-Hellman, Encryption, Forward security, Key exposure
12	Alberto de la Encina, Ricardo Pena	Formally deriving an STG machine.	PPDP	2003	DBLP DOI BibTeX RDF	functional programming, operational semantics, abstract machines, compiler verification
12	Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa	Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.	EUROCAST	2003	DBLP DOI BibTeX RDF
12	Frédéric Blanqui	Rewriting Modulo in Deduction Modulo.	RTA	2003	DBLP DOI BibTeX RDF
12	Mihir Bellare, Bennet S. Yee	Forward-Security in Private-Key Cryptography.	CT-RSA	2003	DBLP DOI BibTeX RDF	pseudorandom bit generators, message authentication, forward security, Symmetric cryptography, audit logs, proofs of security
12	Eli Ben-Sasson, Madhu Sudan 0001, Salil P. Vadhan, Avi Wigderson	Randomness-efficient low degree tests and short PCPs via epsilon-biased sets.	STOC	2003	DBLP DOI BibTeX RDF	property testing, probabilistically checkable proofs, locally testable codes, linearity testing, low degree testing
12	Salil P. Vadhan	On Constructing Locally Computable Extractors and Cryptosystems in the Bounded Storage Model.	CRYPTO	2003	DBLP DOI BibTeX RDF
12	Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	Shatter: efficient symmetry-breaking for boolean satisfiability.	DAC	2003	DBLP DOI BibTeX RDF	clause learning, logic simplification, routing, symmetries, SAT, CNF, backtrack search, graph automorphism
12	Benny Pinkas	Cryptographic Techniques for Privacy-Preserving Data Mining.	SIGKDD Explor.	2002	DBLP DOI BibTeX RDF
12	Liam Roditty, Mikkel Thorup, Uri Zwick	Roundtrip spanners and roundtrip routing in directed graphs.	SODA	2002	DBLP BibTeX RDF
12	Yuval Ishai, Eyal Kushilevitz	Perfect Constant-Round Secure Computation via Perfect Randomizing Polynomials.	ICALP	2002	DBLP DOI BibTeX RDF
12	Laurent Chicli, Loic Pottier, Carlos Simpson	Mathematical Quotients and Quotient Types in Coq.	TYPES	2002	DBLP DOI BibTeX RDF
12	Yi Mu 0001, Junqi Zhang, Vijay Varadharajan	m out of n Oblivious Transfer.	ACISP	2002	DBLP DOI BibTeX RDF
12	V. A. Shevchuk	Calculation of Thermal State of Bodies with Multilayer Coatings.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
12	Vu Dong Tô, Reihaneh Safavi-Naini, Yejing Wang	A 2-Secure Code with Efficient Tracing Algorithm.	INDOCRYPT	2002	DBLP DOI BibTeX RDF	frameproof codes, secure codes, secure frameproof codes, traceability codes, fingerprinting codes
12	Vladimir Kolmogorov, Ramin Zabih	What Energy Functions Can Be Minimized via Graph Cuts?	ECCV (3)	2002	DBLP DOI BibTeX RDF
12	Martín Matamala, Erich Prisner, Ivan Rapaport	k-pseudosnakes in Large Grids.	LATIN	2002	DBLP DOI BibTeX RDF
12	Anna Lysyanskaya	Unique Signatures and Verifiable Random Functions from the DH-DDH Separation.	CRYPTO	2002	DBLP DOI BibTeX RDF	Unique signatures, verifiable random functions, application of groups with DH-DDH separation
12	Alexander Klimov, Adi Shamir	A New Class of Invertible Mappings.	CHES	2002	DBLP DOI BibTeX RDF
12	Venkatesan Guruswami, Madhu Sudan 0001	Decoding Concatenated Codes using Soft Information.	CCC	2002	DBLP DOI BibTeX RDF
12	Dan Boneh, Richard A. DeMillo, Richard J. Lipton	On the Importance of Eliminating Errors in Cryptographic Computations.	J. Cryptol.	2001	DBLP DOI BibTeX RDF	Standards, Provable security, Message authentication codes, Modes of operation, CBC MAC
12	Luca Trevisan	Extractors and pseudorandom generators.	J. ACM	2001	DBLP DOI BibTeX RDF	Error-correcting codes, extractors, pseudorandomness
12	Wenbo Mao	Timed-Release Cryptography.	Selected Areas in Cryptography	2001	DBLP DOI BibTeX RDF
12	Norman Danner	Ramified Recurrence with Dependent Types.	TLCA	2001	DBLP DOI BibTeX RDF
12	Matthew Geoffrey Parker	Even Length Binary Sequence Families with Low Negaperiodic Autocorrelation.	AAECC	2001	DBLP DOI BibTeX RDF
12	Lars Engebretsen	The Non-approximability of Non-Boolean Predicates.	RANDOM-APPROX	2001	DBLP DOI BibTeX RDF
12	Giovanni Di Crescenzo, Jonathan Katz, Rafail Ostrovsky, Adam D. Smith	Efficient and Non-interactive Non-malleable Commitment.	EUROCRYPT	2001	DBLP DOI BibTeX RDF
12	Grzegorz Malewicz, Alexander Russell, Alexander A. Shvartsman	Optimal scheduling for disconnected cooperation.	PODC	2001	DBLP DOI BibTeX RDF
12	David Saad, Yoshiyuki Kabashima, Tatsuto Murayama, Renato Vicente	Statistical Physics of Low Density Parity Check Error Correcting Codes.	IMACC	2001	DBLP DOI BibTeX RDF
12	Pierre Courtieu	Normalized Types.	CSL	2001	DBLP DOI BibTeX RDF
12	Michal Koucký 0001	Universal Traversal Sequences with Backtracking.	CCC	2001	DBLP DOI BibTeX RDF
12	H. Van Dyke Parunak, James Odell	Representing Social Structures in UML.	AOSE	2001	DBLP DOI BibTeX RDF
12	Ran Canetti, Yevgeniy Dodis, Shai Halevi, Eyal Kushilevitz, Amit Sahai	Exposure-Resilient Functions and All-or-Nothing Transforms.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
12	Marcelo P. Fiore	Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems.	IFIP TCS	2000	DBLP DOI BibTeX RDF
12	Julia Padberg	Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	high-level replacement systems, Petri net transformations, horizontal structuring, refinement, graph transformations
12	Ferri Abolhassan, Jörg Keller 0001, Wolfgang J. Paul	On the Cost-Effectiveness of PRAMs.	Acta Informatica	1999	DBLP DOI BibTeX RDF
12	Avi Wigderson, David Zuckerman	Expanders That Beat the Eigenvalue Bound: Explicit Construction and Applications.	Comb.	1999	DBLP DOI BibTeX RDF
12	Hui Ji, Zuowei Shen	Compactly supported (bi)orthogonal wavelets generated by interpolatory refinable functions.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	interpolatory subdivision scheme wavelets, 42A15, 41A15, 41A30, refinable functions, 42A05
12	Russell Impagliazzo, Ronen Shaltiel, Avi Wigderson	Near-Optimal Conversion of Hardness into Pseudo-Randomness.	FOCS	1999	DBLP DOI BibTeX RDF	Pseudo-Ranndom Generators, Derandomization
12	Ran Raz, Omer Reingold, Salil P. Vadhan	Error Reduction for Extractors.	FOCS	1999	DBLP DOI BibTeX RDF	extractors
12	Elena Couselo, Santos González, Viktor T. Markov, Alexander A. Nechaev	Recursive MDS-Codes and Pseudogeometries.	AAECC	1999	DBLP DOI BibTeX RDF
12	Gabriel M. Kuper, Jianwen Su	A Representation Independent Language for Planar Spatial Databases with Euclidean Distance.	DBPL	1999	DBLP DOI BibTeX RDF
12	Christof Löding	Optimal Bounds for Transformations of omega-Automata.	FSTTCS	1999	DBLP DOI BibTeX RDF
12	Dahlia Malkhi, Michael K. Reiter	Byzantine Quorum Systems.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Fault tolerance, Replication, Byzantine failures, Quorum systems
12	James Riordan, Bruce Schneier	Environmental Key Generation Towards Clueless Agents.	Mobile Agents and Security	1998	DBLP DOI BibTeX RDF
12	William Aiello, Mihir Bellare, Giovanni Di Crescenzo, Ramarathnam Venkatesan	Security Amplification by Composition: The Case of Doubly-Iterated, Ideal Ciphers.	CRYPTO	1998	DBLP DOI BibTeX RDF	cascaded ciphers, Shannon model, Double DES, information theory, DES, Ciphers, meet in the middle attacks
12	Michael T. Goodrich, Edgar A. Ramos	Bounded-Independence Derandomization of Geometric Partitioning with Applications to Parallel Fixed-Dimensional Linear Programming.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
12	Robert Cypher, Ambrose Kofi Laing	Gracefully Degradable Pipeline Networks.	IPPS	1997	DBLP DOI BibTeX RDF
12	Claude Carlet	More Correlation-Immune and Resilient Functions over Galois Fields and Galois Rings.	EUROCRYPT	1997	DBLP DOI BibTeX RDF
12	Madhu Sudan 0001	Algorithmic Issues in Coding Theory.	FSTTCS	1997	DBLP DOI BibTeX RDF
12	William Rucklidge	Lower Bounds for the Complexity of the Graph of the Hausdorff Distance as a Function of Transformation.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
12	Paolo Volpe	Abstractions of Uniform Proofs.	ALP	1996	DBLP DOI BibTeX RDF	uniform proofs, inference rule systems, abstract interpretation
12	Roope Kaivola	Fixpoints for Rabin Tree Automata Make Complementation Easy.	ICALP	1996	DBLP DOI BibTeX RDF
12	Lars R. Knudsen, Bart Preneel	Hash Functions Based on Block Ciphers and Quaternary Codes.	ASIACRYPT	1996	DBLP DOI BibTeX RDF
12	Birgit Pfitzmann, Matthias Schunter	Asymmetric Fingerprinting (Extended Abstract).	EUROCRYPT	1996	DBLP DOI BibTeX RDF
12	Gian Luca Cattani, Glynn Winskel	Presheaf Models for Concurrency.	CSL	1996	DBLP DOI BibTeX RDF
12	Tor Helleseth, Thomas Johansson 0001	Universal Hash Functions from Exponential Sums over Finite Fields and Galois Rings.	CRYPTO	1996	DBLP DOI BibTeX RDF	exponential sums, Galois rings, authentication codes, Universal hash functions
12	Hugo Krawczyk	LFSR-based Hashing and Authentication.	CRYPTO	1994	DBLP DOI BibTeX RDF
12	Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit	Atomic Snapshots of Shared Memory.	J. ACM	1993	DBLP DOI BibTeX RDF	consistent state, fault-tolerance, atomic, snapshot
12	Anatoly Petrovich Beltiukov	Automatical Synthesis of Programs with Recursions.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
12	Yehuda Afek, Michael Merritt, Gadi Taubenfeld	Benign Failure Models for Shared Memory (Preliminary Version).	WDAG	1993	DBLP DOI BibTeX RDF
12	Jürgen Bierbrauer, Thomas Johansson 0001, Gregory Kabatianskii, Ben J. M. Smeets	On Families of Hash Functions via Geometric Codes and Concatenation.	CRYPTO	1993	DBLP DOI BibTeX RDF
12	Carlo Blundo, Alfredo De Santis, Douglas R. Stinson, Ugo Vaccaro	Graph Decompositions and Secret Sharing Schemes.	EUROCRYPT	1992	DBLP DOI BibTeX RDF