Search results for "constructions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Xiaohu Tang, Wai Ho Mow	A New Systematic Construction of Zero Correlation Zone Sequences Based on Interleaved Perfect Sequences.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
12	Yeow Meng Chee, San Ling	Improved Lower Bounds for Constant GC-Content DNA Codes.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
12	Suhas N. Diggavi, A. Robert Calderbank, Sanket Dusad, Naofal Al-Dhahir	Diversity Embedded Space-Time Codes.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
12	Olga Saukh, Robert Sauter, Matthias Gauger, Pedro José Marrón, Kurt Rothermel	On Boundary Recognition without Location Information in Wireless Sensor Networks.	IPSN	2008	DBLP DOI BibTeX RDF	sensor networks, graph theory, topology, embedding, boundary detection
12	David Peleg, Liam Roditty	Localized Spanner Construction for Ad Hoc Networks with Variable Transmission Range.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF
12	Yves Bertot	A Short Presentation of Coq.	TPHOLs	2008	DBLP DOI BibTeX RDF
12	Paolo Penna, Carmine Ventre	Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions.	ESA	2008	DBLP DOI BibTeX RDF
12	Yang Lu 0001, Jiguo Li 0001, Junmo Xiao	Generic Construction of Certificate-Based Encryption.	ICYCS	2008	DBLP DOI BibTeX RDF
12	Ueli M. Maurer, Stefano Tessaro	Basing PRFs on Constant-Query Weak PRFs: Minimizing Assumptions for Efficient Symmetric Cryptography.	ASIACRYPT	2008	DBLP DOI BibTeX RDF
12	Jacob C. N. Schuldt, Kanta Matsuura, Kenneth G. Paterson	Proxy Signatures Secure Against Proxy Key Exposure.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF	provable security, proxy signatures
12	Ran Canetti, Ronny Ramzi Dakdouk	Obfuscating Point Functions with Multibit Output.	EUROCRYPT	2008	DBLP DOI BibTeX RDF	composable obfuscation, multibit point function obfuscation, digital locker, point function obfuscation, obfuscation
12	Omkant Pandey, Rafael Pass, Amit Sahai, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam	Precise Concurrent Zero Knowledge.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
12	Jonathan Katz, Amit Sahai, Brent Waters	Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
12	Kazuhiro Haramura, Maki Yoshida, Toru Fujiwara	Anonymous Fingerprinting for Predelivery of Contents.	ICISC	2008	DBLP DOI BibTeX RDF
12	Alejandro Hevia, Daniele Micciancio	An Indistinguishability-Based Characterization of Anonymous Channels.	Privacy Enhancing Technologies	2008	DBLP DOI BibTeX RDF
12	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.	IFIP TCS	2008	DBLP DOI BibTeX RDF
12	Ariel Gabizon, Ronen Shaltiel	Increasing the Output Length of Zero-Error Dispersers.	APPROX-RANDOM	2008	DBLP DOI BibTeX RDF
12	Domingos Dellamonica Jr.	Simpler Constant-Seed Condensers.	LATIN	2008	DBLP DOI BibTeX RDF
12	Igor E. Shparlinski	Pseudorandom Graphs from Elliptic Curves.	LATIN	2008	DBLP DOI BibTeX RDF	Pseudorandom graph, elliptic curve, exponential sum
12	Kiran S. Kedlaya, Sergey Yekhanin	Locally Decodable Codes From Nice Subsets of Finite Fields and Prime Factors of Mersenne Numbers.	CCC	2008	DBLP DOI BibTeX RDF	Locally decodable codes, Mersenne primes
12	Paul Libbrecht, Cyrille Desmoulins, Christian Mercat, Colette Laborde, Michael Dietrich, Maxim Hendriks	Cross-Curriculum Search for Intergeo.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
12	Mohamed Layouni, Maki Yoshida, Shingo Okamura	Efficient Multi-authorizer Accredited Symmetrically Private Information Retrieval.	ICICS	2008	DBLP DOI BibTeX RDF
12	Philippe Artzner, Freddy Delbaen, Jean-Marc Eber, David Heath, Hyejin Ku	Coherent multiperiod risk adjusted values and Bellman's principle.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Bellman’s principle, Capital requirement, Risk-adjusted values, Stability by pasting, Time consistency, Coherence
12	Alexandre L. Correa, Cláudia M. L. Werner	Refactoring object constraint language specifications.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
12	Xiaoju Dong, Yuxi Fu	Barbed Congruence of Asymmetry and Mismatch.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	bisimulation, axiomatization, process calculus
12	Yan Zong Ding, Danny Harnik, Alon Rosen, Ronen Shaltiel	Constant-Round Oblivious Transfer in the Bounded Storage Model.	J. Cryptol.	2007	DBLP DOI BibTeX RDF
12	Ran Canetti, Shai Halevi, Jonathan Katz	A Forward-Secure Public-Key Encryption Scheme.	J. Cryptol.	2007	DBLP DOI BibTeX RDF
12	Orr Dunkelman, Nathan Keller	A New Criterion for Nonlinearity of Block Ciphers.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
12	Solomon W. Golomb, Guang Gong	The Status of Costas Arrays.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
12	Oscar Moreno, José R. Ortiz-Ubarri	Double Periodic Arrays with Optimal Correlation for Applications in Watermarking.	SSC	2007	DBLP DOI BibTeX RDF	double-periodic, watermark, correlation, sequences, array, matrix
12	Shai Halevi, Hugo Krawczyk	Security under key-dependent inputs.	CCS	2007	DBLP DOI BibTeX RDF	circular encryption, key-dependent input, self encryption
12	David Delahaye, Catherine Dubois, Jean-Frédéric Étienne	Extracting Purely Functional Contents from Logical Inductive Types.	TPHOLs	2007	DBLP DOI BibTeX RDF
12	Song-Hai Zhang, Qihui Zhu, Ralph R. Martin	Propagation of Geometric Tolerance Zones in 3D.	IMA Conference on the Mathematics of Surfaces	2007	DBLP DOI BibTeX RDF
12	Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem	Logical and algebraic view of Huzita's origami axioms with applications to computational origami.	SAC	2007	DBLP DOI BibTeX RDF	constraint solving, first-order predicate logic, origami, geometric theorem proving
12	Remo Meier, Bartosz Przydatek, Jürg Wullschleger	Robuster Combiners for Oblivious Transfer.	TCC	2007	DBLP DOI BibTeX RDF	robust combiners, weak oblivious transfer, oblivious transfer
12	Camilla Hollanti, Hsiao-feng Lu	Normalized Minimum Determinant Calculation for Multi-block and Asymmetric Space-Time Codes.	AAECC	2007	DBLP DOI BibTeX RDF	Asymmetric space-time block codes (ASTBCs), cyclic division algebras (CDAs), dense lattices, diversity-multiplexing tradeoff (DMT), maximal orders, multi-block, multiple-input multiple-output (MIMO) channels, nonvanishing determinant (NVD), discriminants
12	Cécile Delerablée, Pascal Paillier, David Pointcheval	Fully Collusion Secure Dynamic Broadcast Encryption with Constant-Size Ciphertexts or Decryption Keys.	Pairing	2007	DBLP DOI BibTeX RDF
12	Xavier Boyen	Miniature CCA2 PK Encryption: Tight Security Without Redundancy.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
12	George Danezis, Claudia Díaz, Sebastian Faust, Emilia Käsper, Carmela Troncoso, Bart Preneel	Efficient Negative Databases from Cryptographic Hash Functions.	ISC	2007	DBLP DOI BibTeX RDF
12	Aleksandrs Slivkins	Towards fast decentralized construction of locality-aware overlay networks.	PODC	2007	DBLP DOI BibTeX RDF	grid dimension, growth-constrained metrics, locality-aware networks, multi-cast trees, triangulation, routing schemes, distance labeling
12	Mohamed Layouni	Accredited Symmetrically Private Information Retrieval.	IWSEC	2007	DBLP DOI BibTeX RDF	Symmetrically private information retrieval, policy enforcement, anonymous credentials
12	Oliver Thomas	Joint Reference Modeling: Collaboration Support through Version Management.	HICSS	2007	DBLP DOI BibTeX RDF
12	Tor E. Bjørstad, Alexander W. Dent, Nigel P. Smart	Efficient KEMs with Partial Message Recovery.	IMACC	2007	DBLP DOI BibTeX RDF
12	Lutz Schröder	Bootstrapping Types and Cotypes in HasCASL.	CALCO	2007	DBLP DOI BibTeX RDF
12	Orna Kupferman, Yoad Lustig	Lattice Automata.	VMCAI	2007	DBLP DOI BibTeX RDF
12	Omer Barkol, Yuval Ishai, Enav Weinreb	On Locally Decodable Codes, Self-correctable Codes, and t -Private PIR.	APPROX-RANDOM	2007	DBLP DOI BibTeX RDF
12	Benny Applebaum, Yuval Ishai, Eyal Kushilevitz	Cryptography with Constant Input Locality.	CRYPTO	2007	DBLP DOI BibTeX RDF
12	Iftach Haitner, Omer Reingold	A New Interactive Hashing Theorem.	CCC	2007	DBLP DOI BibTeX RDF
12	Noga Alon, Dana Moshkovitz, Shmuel Safra	Algorithmic construction of sets for k-restrictions.	ACM Trans. Algorithms	2006	DBLP DOI BibTeX RDF	k-restriction, almost k-wise independence, generalized hashing, splitter, Set-Cover, Derandomization, group testing
12	Frank K. Hwang, Wen-Dar Lin, Vadim Lioubimov	On noninterruptive rearrangeable networks.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	Paull's matrix, doubled path, noninterruptive rearrangeable (NIR), output (input)-divertability, rearrangeably nonblocking (RNB), strictly nonblocking (SNB), wide-sense nonblocking (WSNB), clos network
12	Robert F. Bailey	Uncoverings-by-bases for base-transitive permutation groups.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classifications 05B40(primary), 20B20(primary), 94B35 (primary), 11T30(secondary), 05B30 (secondary)
12	Amir Bennatan, David Burshtein, Giuseppe Caire, Shlomo Shamai	Superposition coding for side-information channels.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
12	Eva Bayer-Flückiger, Frédérique E. Oggier, Emanuele Viterbo	Algebraic lattice constellations: bounds on performance.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
12	Jifeng Geng, Urbashi Mitra	Nonlinear hierarchical space-time block codes: construction and regular MTCM design.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
12	Roxana Girju	Out-of-context noun phrase semantic interpretation with cross-linguistic evidence.	CIKM	2006	DBLP DOI BibTeX RDF	classification, SVM, semantic relations, computational semantics
12	Giuseppe Ateniese, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci	Provably-secure time-bound hierarchical key assignment schemes.	CCS	2006	DBLP DOI BibTeX RDF	access control, provable security, key assignment
12	Bálint Laczay	Coding for the Multiple-Access Adder Channel.	GTIT-C	2006	DBLP DOI BibTeX RDF
12	William D. Lewis	ODIN: A Model for Adapting and Enriching Legacy Infrastructure.	e-Science	2006	DBLP DOI BibTeX RDF
12	Tim Oates 0001, Tom Armstrong, Leonor Becerra-Bonache, Mike Atamas	Inferring Grammars for Mildly Context Sensitive Languages in Polynomial-Time.	ICGI	2006	DBLP DOI BibTeX RDF
12	Ronald L. Rivest, Adi Shamir, Yael Tauman	How to Leak a Secret: Theory and Applications of Ring Signatures.	Essays in Memory of Shimon Even	2006	DBLP DOI BibTeX RDF
12	Sujata Doshi, Fabian Monrose, Aviel D. Rubin	Efficient Memory Bound Puzzles Using Pattern Databases.	ACNS	2006	DBLP DOI BibTeX RDF
12	Emin Martinian, Martin J. Wainwright	Low Density Codes Achieve theRate-Distortion Bound.	DCC	2006	DBLP DOI BibTeX RDF
12	Donghoon Chang, Sangjin Lee 0002, Mridul Nandi, Moti Yung	Indifferentiable Security Analysis of Popular Hash Functions with Prefix-Free Padding.	ASIACRYPT	2006	DBLP DOI BibTeX RDF
12	Sanjit Chatterjee, Palash Sarkar 0001	Generalization of the Selective-ID Security Model for HIBE Protocols.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF
12	Antoine Joux, Frédéric Muller	Chosen-Ciphertext Attacks Against MOSQUITO.	FSE	2006	DBLP DOI BibTeX RDF
12	Debrup Chakraborty, Palash Sarkar 0001	A New Mode of Encryption Providing a Tweakable Strong Pseudo-random Permutation.	FSE	2006	DBLP DOI BibTeX RDF	tweakable encryption, strong pseudo-random permutation, mode of operation
12	Shanshan Duan, Zhenfu Cao	Efficient and Provably Secure Multi-receiver Identity-Based Signcryption.	ACISP	2006	DBLP DOI BibTeX RDF
12	Jong-Bok Kim, Jaehyung Yang	Coordination Structures in a Typed Feature Structure Grammar: Formalization and Implementation.	FinTAL	2006	DBLP DOI BibTeX RDF
12	Man Ho Au, Joseph K. Liu, Tsz Hon Yuen, Duncan S. Wong	ID-Based Ring Signature Scheme Secure in the Standard Model.	IWSEC	2006	DBLP DOI BibTeX RDF
12	Mridul Nandi	A Simple and Unified Method of Proving Indistinguishability.	INDOCRYPT	2006	DBLP DOI BibTeX RDF
12	Savas Konur	A Decidable Temporal Logic for Events and States.	TIME	2006	DBLP DOI BibTeX RDF
12	Luca Bortolussi, Andrea Sgarro	Possibilistic Channels for DNA Word Design.	SMPS	2006	DBLP DOI BibTeX RDF
12	Orr Dunkelman, Nathan Keller	A New Criterion for Nonlinearity of Block Ciphers.	CT-RSA	2006	DBLP DOI BibTeX RDF
12	David Molnar, Tadayoshi Kohno, Naveen Sastry, David A. Wagner 0001	Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract).	S&P	2006	DBLP DOI BibTeX RDF
12	Leah Buechley	A Construction Kit for Electronic Textiles.	ISWC	2006	DBLP DOI BibTeX RDF
12	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang	Certificateless Designated Verifier Signature Schemes.	AINA (2)	2006	DBLP DOI BibTeX RDF	Designated Verifier, Gap Bilinear Diffie-Hellman Problem, Certificateless Cryptography
12	Remo Meier, Bartosz Przydatek	On Robust Combiners for Private Information Retrieval and Other Primitives.	CRYPTO	2006	DBLP DOI BibTeX RDF
12	Ninghui Li, Wenliang Du, Dan Boneh	Oblivious signature-based envelope.	Distributed Comput.	2005	DBLP DOI BibTeX RDF
12	L. Ji, Dianhua Wu, Lei Zhu	Existence of Generalized Steiner Systems GS(2, 4, v, 2).	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	generalized Steiner system, group divisible design, perfect base, constant weight code
12	Peter L. Montgomery	Five, Six, and Seven-Term Karatsuba-Like Formulae.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Karatsuba, Karatsuba-Ofman, characteristic 2, elliptic curve arithmetic, Galois fields, polynomial multiplication, binary fields
12	Krishna V. Palem	Energy Aware Computing through Probabilistic Switching: A Study of Limits.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	low-power design, Energy-aware systems, probabilistic computation
12	Azer Bestavros, John W. Byers, Khaled Harfoush	Inference and Labeling of Metric-Induced Network Topologies.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	packet-pair probing, Bayesian probing, Internet tomography, performance evaluation, End-to-end measurement
12	Ron M. Roth, Gadiel Seroussi	Symbol-intersecting codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
12	Andreas Klappenecker, Martin Rötteler	On the monomiality of nice error bases.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
12	Alexander A. Davydov, Giorgio Faina, Stefano Marcugini, Fernanda Pambianco	Locally optimal (nonshortening) linear covering codes and minimal saturating sets in projective spaces.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
12	Michele Flammini, Giorgio Gambosi, Alfredo Navarra	Wireless ATM Layouts for Chain Networks.	Mob. Networks Appl.	2005	DBLP DOI BibTeX RDF	wireless networks, ATM networks, capacity planning, mobile users, chains
12	Subhash Khot	Guest column: inapproximability results via Long Code based PCPs.	SIGACT News	2005	DBLP DOI BibTeX RDF
12	Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky	Sufficient Conditions for Collision-Resistant Hashing.	TCC	2005	DBLP DOI BibTeX RDF	private information-retrieval, homomorphic encryption, Collision-resistant hash functions
12	Yevgeniy Dodis, Jonathan Katz	Chosen-Ciphertext Security of Multiple Encryption.	TCC	2005	DBLP DOI BibTeX RDF
12	Yevgeniy Dodis, Adam D. Smith	Entropic Security and the Encryption of High Entropy Messages.	TCC	2005	DBLP DOI BibTeX RDF
12	Frédéric Jourdan	Quadric Modeling in a Grassmann-Cayley Algebra Setting.	IV	2005	DBLP DOI BibTeX RDF
12	Michael T. Goodrich, Mikhail J. Atallah, Roberto Tamassia	Indexing Information for Data Forensics.	ACNS	2005	DBLP DOI BibTeX RDF	data forensics, data marking, combinatorial group testing, data structures, data integrity, information hiding, tamper detection
12	Flavio Paiva Junqueira, Keith Marzullo	Coterie Availability in Sites.	DISC	2005	DBLP DOI BibTeX RDF
12	Michele Flammini, Luca Moscardelli, Alfredo Navarra, Stéphane Pérennes	Asymptotically Optimal Solutions for Small World Graphs.	DISC	2005	DBLP DOI BibTeX RDF
12	Olgica Milenkovic, Navin Kashyap	On the Design of Codes for DNA Computing.	WCC	2005	DBLP DOI BibTeX RDF
12	Amit Sahai, Brent Waters	Fuzzy Identity-Based Encryption.	EUROCRYPT	2005	DBLP DOI BibTeX RDF
12	Michael Backes 0001, Christian Cachin, Alina Oprea	Lazy Revocation in Cryptographic File Systems.	IEEE Security in Storage Workshop	2005	DBLP DOI BibTeX RDF
12	John Power	Discrete Lawvere Theories.	CALCO	2005	DBLP DOI BibTeX RDF
12	Samson Abramsky	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.	CALCO	2005	DBLP DOI BibTeX RDF
12	Ichiro Hasuo, Bart Jacobs 0001	Context-Free Languages via Coalgebraic Trace Semantics.	CALCO	2005	DBLP DOI BibTeX RDF