Search results for "constructions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Sebastian von Mammen, Joyce Wong, Christian Jacob 0001	Virtual Constructive Swarm Compositions and Inspirations.	EvoWorkshops	2008	DBLP DOI BibTeX RDF
18	Vanda Santos, Pedro Quaresma	E-Learning Course for Euclidean Geometry.	ICALT	2008	DBLP DOI BibTeX RDF
18	Carlo Blundo, Paolo D'Arco, Alfredo De Santis, Douglas R. Stinson	On Unconditionally Secure Distributed Oblivious Transfer.	J. Cryptol.	2007	DBLP DOI BibTeX RDF
18	Amnon Ta-Shma, Christopher Umans, David Zuckerman	Lossless Condensers, Unbalanced Expanders, And Extractors.	Comb.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 68Q01
18	Chaoping Xing	Diagonal Lattice Space-Time Codes From Number Fields and Asymptotic Bounds.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
18	Hiren Maharaj	A Note on Further Improvements of the TVZ-Bound.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
18	Cunsheng Ding, Tao Feng 0001	A Generic Construction of Complex Codebooks Meeting the Welch Bound.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
18	Jong Hwan Park, Kyu Young Choi, Jung Yeon Hwang, Dong Hoon Lee 0001	Certificateless Public Key Encryption in the Selective-ID Security Model (Without Random Oracles).	Pairing	2007	DBLP DOI BibTeX RDF	Certificateless Public Key Encryption, Bilinear Maps, Chosen Ciphertext Security
18	Ratna Dutta, Ee-Chien Chang, Sourav Mukhopadhyay	Efficient Self-healing Key Distribution with Revocation for Wireless Sensor Networks Using One Way Key Chains.	ACNS	2007	DBLP DOI BibTeX RDF	session key distribution, sensor network, computational security, self-healing, revocation
18	Alexandra Boldyreva, Marc Fischlin, Adriana Palacio, Bogdan Warinschi	A Closer Look at PKI: Security and Efficiency.	Public Key Cryptography	2007	DBLP DOI BibTeX RDF
18	Chris Peikert, Alon Rosen	Lattices that admit logarithmic worst-case to average-case connection factors.	STOC	2007	DBLP DOI BibTeX RDF	algebraic number theory, worst-case to average-case reductions, lattices
18	Ran Canetti, Ronald L. Rivest, Madhu Sudan 0001, Luca Trevisan, Salil P. Vadhan, Hoeteck Wee	Amplifying Collision Resistance: A Complexity-Theoretic Treatment.	CRYPTO	2007	DBLP DOI BibTeX RDF	hash functions, combiners, collision resistance, hardness amplification
18	Noam Kogan, Yuval Shavitt, Avishai Wool	A practical revocation scheme for broadcast encryption using smartcards.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	smart cards, Broadcast encryption
18	Rod Downey, Noam Greenberg	Totally < ωω Computably Enumerable and m-topped Degrees.	TAMC	2006	DBLP DOI BibTeX RDF
18	Pinhui Ke, Jie Zhang 0004, Qiaoyan Wen	Results on Almost Resilient Functions.	ACNS	2006	DBLP DOI BibTeX RDF	Almost resilient Function, Almost correlation immune function, Resilient function
18	Claude Crépeau, George Savvides	Optimal Reductions Between Oblivious Transfers Using Interactive Hashing.	EUROCRYPT	2006	DBLP DOI BibTeX RDF	interactive hashing, oblivious transfer, privacy amplification
18	Michael Backes 0001, Christian Cachin, Alina Oprea	Secure Key-Updating for Lazy Revocation.	ESORICS	2006	DBLP DOI BibTeX RDF
18	Dana Moshkovitz, Ran Raz	Sub-constant error low degree test of almost-linear size.	STOC	2006	DBLP DOI BibTeX RDF	plane vs. point test, probabilistically checkable proofs, locally testable codes, low degree testing
18	Parikshit Gopalan	Constructing Ramsey Graphs from Boolean Function Representations.	CCC	2006	DBLP DOI BibTeX RDF
18	Aleksandar Kavcic, Xiao Ma, Nedeljko Varnica	Matched information rate codes for Partial response channels.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
18	Moni Naor, Asaf Nussboim, Eran Tromer	Efficiently Constructible Huge Graphs That Preserve First Order Properties of Random Graphs.	TCC	2005	DBLP DOI BibTeX RDF
18	Omer Horvitz, Jonathan Katz	Bounds on the Efficiency of "Black-Box" Commitment Schemes.	ICALP	2005	DBLP DOI BibTeX RDF
18	Ueli M. Maurer, Johan Sjödin	Single-Key AIL-MACs from Any FIL-MAC.	ICALP	2005	DBLP DOI BibTeX RDF	arbitrary-input-length (AIL), variable-input-length (VIL), fixed-input-length (FIL), Message authentication code (MAC)
18	Maki Yoshida, Shigeo Mitsunari, Toru Fujiwara	A Timed-Release Key Management Scheme for Backward Recovery.	ICISC	2005	DBLP DOI BibTeX RDF
18	Ronen Gradwohl, Guy Kindler, Omer Reingold, Amnon Ta-Shma	On the Error Parameter of Dispersers.	APPROX-RANDOM	2005	DBLP DOI BibTeX RDF
18	Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger	Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
18	Zsolt Fekete, Tibor Jordán, Walter Whiteley	An Inductive Construction for Plane Laman Graphs via Vertex Splitting.	ESA	2004	DBLP DOI BibTeX RDF
18	Matthew Geoffrey Parker	Univariate and Multivariate Merit Factors.	SETA	2004	DBLP DOI BibTeX RDF
18	Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi	Byzantine disk paxos: optimal resilience with byzantine shared memory.	PODC	2004	DBLP DOI BibTeX RDF	termination conditions, consensus, Byzantine failures, shared-memory emulations
18	Andris Ambainis, Adam D. Smith	Small Pseudo-random Families of Matrices: Derandomizing Approximate Quantum Encryption.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
18	Alexandra Boldyreva	Threshold Signatures, Multisignatures and Blind Signatures Based on the Gap-Diffie-Hellman-Group Signature Scheme.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF
18	Marta Arias, Roni Khardon, Rocco A. Servedio	Polynomial Certificates for Propositional Classes.	COLT	2003	DBLP DOI BibTeX RDF
18	Noam Kogan, Yuval Shavitt, Avishai Wool	A Practical Revocation Scheme for Broadcast Encryption Using Smart Cards.	S&P	2003	DBLP DOI BibTeX RDF
18	Benjamin Braatz, Hartmut Ehrig, Milan Urbásek	Petri Net Transformations in the "Petri Net Baukasten".	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
18	Razvan Diaconescu	Grothendieck Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations
18	Carlo Blundo, Paolo D'Arco, Alfredo De Santis, Douglas R. Stinson	New Results on Unconditionally Secure Distributed Oblivious Transfer.	Selected Areas in Cryptography	2002	DBLP DOI BibTeX RDF
18	Boaz Barak	Constant-Round Coin-Tossing with a Man in the Middle or Realizing the Shared Random String Model.	FOCS	2002	DBLP DOI BibTeX RDF
18	Michael R. Capalbo, Omer Reingold, Salil P. Vadhan, Avi Wigderson	Randomness conductors and constant-degree lossless expanders.	STOC	2002	DBLP DOI BibTeX RDF	expander graphs, extractors, condensers, graph products
18	Michael R. Capalbo, Omer Reingold, Salil P. Vadhan, Avi Wigderson	Randomness Conductors and Constant-Degree Lossless Expanders.	CCC	2002	DBLP DOI BibTeX RDF	expander graphs, extractors, condensers, graph products
18	Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg	Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF	place/transition nets, elementary nets, uniform approach, realization problem, category theory
18	Prahladh Harsha, Madhu Sudan 0001	Small PCPs with Low Query Complexity.	STACS	2001	DBLP DOI BibTeX RDF
18	Amnon Ta-Shma, Christopher Umans, David Zuckerman	Loss-less condensers, unbalanced expanders, and extractors.	STOC	2001	DBLP DOI BibTeX RDF
18	Marc Geilen, Dennis Dams	An On-the-Fly Tableau Construction for a Real-Time Temporal Logic.	FTRTFT	2000	DBLP DOI BibTeX RDF
18	Helmut Pottmann, Boris Odehnal, Martin Peternell, Johannes Wallner 0001, Rachid Ait-Haddou	On Optimal Tolerancing in Computer-Aided Design.	GMP	2000	DBLP DOI BibTeX RDF
18	Richard P. Anstee, János Demetrovics, Gyula O. H. Katona, Attila Sali	Low Discrepancy Allocation of Two-Dimensional Data.	FoIKS	2000	DBLP DOI BibTeX RDF
18	Frank A. Stomp, Gadi Taubenfeld	Constructing a Reliable Test&Set Bit.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Test&set bits, omission faults, gracefully degradation, reliability, wait-free algorithms
18	William Aiello, Sivaramakrishnan Rajagopalan, Ramarathnam Venkatesan	High-Speed Pseudorandom Number Generation with Small Memory.	FSE	1999	DBLP DOI BibTeX RDF
18	Wim Nevelsteen, Bart Preneel	Software Performance of Universal Hash Functions.	EUROCRYPT	1999	DBLP DOI BibTeX RDF
18	Mark Etzel, Sarvar Patel, Zulfikar Ramzan	SQUARE HASH: Fast Message Authenication via Optimized Universal Hash Functions.	CRYPTO	1999	DBLP DOI BibTeX RDF	Message authentication codes, Universal Hashing
18	Günter M. Ziegler	Shelling Polyhedral 3-Balls and 4-Polytopes.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
18	Takashi Inoue, Norio Kashima	A distributed method for access network operation system platform.	NOMS	1998	DBLP DOI BibTeX RDF
18	Chris Hall, David A. Wagner 0001, John Kelsey, Bruce Schneier	Building PRFs from PRPs.	CRYPTO	1998	DBLP DOI BibTeX RDF	cipher feedback mode, block ciphers, pseudo-random functions, pseudo-random permutations, concrete security
18	Lars R. Knudsen, Bart Preneel	Fast and Secure Hashing Based on Codes.	CRYPTO	1997	DBLP DOI BibTeX RDF
18	Hugo Krawczyk	New Hash Functions For Message Authentication.	EUROCRYPT	1995	DBLP DOI BibTeX RDF
18	Marina Papatriantafilou, Philippas Tsigas	How a Rainbow Coloring Function Can Simulate Wait-Free Handshaking.	MFCS	1994	DBLP DOI BibTeX RDF
18	Eric J. Schwabe, Ian M. Sutherland	Improved Parity-Declustered Layouts for Disk Arrays.	SPAA	1994	DBLP DOI BibTeX RDF
18	Viktor K. Sabelfeld	Analysis of Some Semantic Properties for Programs of the Applicative Language AL.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
18	Rainer Gawlick, Nancy A. Lynch, Nir Shavit	Concurrent Timestamping Made Simple.	ISTCS	1992	DBLP DOI BibTeX RDF
18	Mads Dam	Fixed Points of Büchi Automata.	FSTTCS	1992	DBLP DOI BibTeX RDF
18	Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari	Transition Systems with Algebraic Structure as Models of Computations.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
18	Reinhold Heckmann	Set Domains.	ESOP	1990	DBLP DOI BibTeX RDF
18	Kim Guldstrand Larsen	Compositional Theories Based on an Operational Semantics of Contexts.	REX Workshop	1989	DBLP DOI BibTeX RDF	Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality
18	Ivan Damgård	A Design Principle for Hash Functions.	CRYPTO	1989	DBLP DOI BibTeX RDF
17	Adam Bender, Jonathan Katz, Ruggero Morselli	Ring Signatures: Stronger Definitions, and Constructions without Random Oracles.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	Anonymity, Signatures
17	Haitao Cao 0001, Ruizhong Wei	Combinatorial Constructions for Optimal Two-Dimensional Optical Orthogonal Codes.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
17	Koji Momihara, Marco Buratti	Bounds and Constructions of Optimal (n, 4, 2, 1) Optical Orthogonal Codes.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
17	Seung Geol Choi, Dana Dachman-Soled, Tal Malkin, Hoeteck Wee	Simple, Black-Box Constructions of Adaptively Secure Protocols.	TCC	2009	DBLP DOI BibTeX RDF
17	Laila El Aimani	On Generic Constructions of Designated Confirmer Signatures.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Designated Confirmer signatures, Reduction/meta-reduction, Zero Knowledge, Generic construction
17	Kamel Bentahar, Pooya Farshim, John Malone-Lee, Nigel P. Smart	Generic Constructions of Identity-Based and Certificateless KEMs.	J. Cryptol.	2008	DBLP DOI BibTeX RDF
17	Jovan Dj. Golic, Madalina Baltatu	Entropy Analysis and New Constructions of Biometric Key Generation Systems.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
17	Cui-Ling Fan, Jian-Guo Lei, Yanxun Chang	Constructions of Difference Systems of Sets and Disjoint Difference Families.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
17	Jinyang Shi, Zhiyang You, Ming Gu 0001, Kwok-Yan Lam	Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions.	ICPR	2008	DBLP DOI BibTeX RDF
17	Somitra Kumar Sanadhya, Palash Sarkar 0001	Deterministic Constructions of 21-Step Collisions for the SHA-2 Hash Family.	ISC	2008	DBLP DOI BibTeX RDF	SHA-2 family, reduced round attacks, cryptanalysis
17	Guilhem Castagnos	Two Generic Constructions of Probabilistic Cryptosystems and Their Applications.	SCN	2008	DBLP DOI BibTeX RDF	Homomorphic Scheme, Paillier Cryptosystem, Quadratic Fields, IND-CPA and IND-CCA2 security, Standard Model, Generic Construction, Probabilistic Encryption
17	Craig Gentry, Chris Peikert, Vinod Vaikuntanathan	Trapdoors for hard lattices and new cryptographic constructions.	STOC	2008	DBLP DOI BibTeX RDF	lattice-based cryptography, trapdoor functions
17	Yevgeniy Dodis, Victor Shoup, Shabsi Walfish	Efficient Constructions of Composable Commitments and Zero-Knowledge Proofs.	CRYPTO	2008	DBLP DOI BibTeX RDF
17	Hsien-Chen Chiu, Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee	A simple proof for the constructions of optical priority queues.	Queueing Syst. Theory Appl.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 60K30, 90B22, 68M20
17	Po-Kai Huang, Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee	Recursive Constructions of Parallel FIFO and LIFO Queues With Switched Delay Lines.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
17	Marcelo P. Fiore, Chung-Kil Hur	Equational Systems and Free Constructions (Extended Abstract).	ICALP	2007	DBLP DOI BibTeX RDF
17	Yannick Seurin, Thomas Peyrin	Security Analysis of Constructions Combining FIL Random Oracles.	FSE	2007	DBLP DOI BibTeX RDF	block ciphers, hash functions, provable security, random oracle, compression functions
17	Jong-Bok Kim, Kyung-Sup Lim	Processing the Mixed Properties of Light Verb Constructions.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
17	Jean-Claude Bermond, Frédéric Giroire, Stéphane Pérennes	Design of Minimal Fault Tolerant On-Board Networks: Practical Constructions.	SIROCCO	2007	DBLP DOI BibTeX RDF
17	Mahdad Khatirinejad, Petr Lisonek	Classification and Constructions of Complete Caps in Binary Spaces.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 51E22, 94B05
17	Yanxun Chang, Cunsheng Ding	Constructions of External Difference Families and Disjoint Difference Families.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	94A66, AMS Classification 05B05
17	Cheng-Shang Chang, Yi-Ting Chen, Duan-Shin Lee	Constructions of optical FIFO queues.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	first-in-first-out (FIFO) queues, optical memory, switched delay lines (SDLs), optical switches, Clos networks
17	Nam Yul Yu, Guang Gong	Constructions of Quadratic Bent Functions in Polynomial Forms.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
17	L. M. J. Bazzi, Sanjoy K. Mitter	Some Randomized Code Constructions From Group Actions.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
17	Vidya Kumar, Olgica Milenkovic	On unequal error protection LDPC codes based on plotkin-type constructions.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
17	Reza Curtmola, Juan A. Garay, Seny Kamara, Rafail Ostrovsky	Searchable symmetric encryption: improved definitions and efficient constructions.	CCS	2006	DBLP DOI BibTeX RDF	searchable symmetric encryption, security definitions, multi-user, searchable encryption
17	Gilles Barthe, Benjamin Grégoire, Fernando Pastawski	CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions.	LPAR	2006	DBLP DOI BibTeX RDF
17	Xin Tong, Jie Zhang 0004, Qiao-Yan Wen	New Constructions of Large Binary Sequences Family with Low Correlation.	Inscrypt	2006	DBLP DOI BibTeX RDF	large family size, linear span, correlation, binary sequences
17	Lan Lan 0005, Lingqi Zeng, Ying Yu Tai, Lei Chen 0008, Shu Lin 0001, Khaled A. S. Abdel-Ghaffar	Algebraic Constructions of Quasi-cyclic LDPC Codes - Part I: For AWGN and Binary Random Erasure Channels.	AAECC	2006	DBLP DOI BibTeX RDF
17	Shoichi Hirose	Some Plausible Constructions of Double-Block-Length Hash Functions.	FSE	2006	DBLP DOI BibTeX RDF
17	Sanjit Chatterjee, Palash Sarkar 0001	New Constructions of Constant Size Ciphertext HIBE Without Random Oracle.	ICISC	2006	DBLP DOI BibTeX RDF
17	Igor E. Shparlinski, Arne Winterhof	Constructions of Approximately Mutually Unbiased Bases.	LATIN	2006	DBLP DOI BibTeX RDF
17	Amir Shpilka	Constructions of Low-Degree and Error-Correcting in-Biased Generators.	CCC	2006	DBLP DOI BibTeX RDF
17	Alexander A. Davydov, Giorgio Faina, Fernanda Pambianco	Constructions of Small Complete Caps in Binary Projective Spaces.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	binary caps, complete caps, small complete caps, projective space
17	Cunsheng Ding, Jianxing Yin	Algebraic constructions of constant composition codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
17	Takeshi Abekawa, Manabu Okumura	Corpus-Based Analysis of Japanese Relative Clause Constructions.	IJCNLP	2005	DBLP DOI BibTeX RDF
17	Surender Baswana, Telikepalli Kavitha, Kurt Mehlhorn, Seth Pettie	New constructions of (alpha, beta)-spanners and purely additive spanners.	SODA	2005	DBLP BibTeX RDF