Search results for "Rabin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
111	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya	The Rabin Index and Chain Automata, with Applications to Automatas and Games.	CAV	1995	DBLP DOI BibTeX RDF
90	Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies	From Automatic Structures to Borel Structures.	LICS	2008	DBLP DOI BibTeX RDF	Borel, Buechi, automata, isomorphism
79	Mototsugu Nishioka, Hisayoshi Satoh, Kouichi Sakurai	Design and Analysis of Fast Provably Secure Public-Key Cryptosystems Based on a Modular Squaring.	ICISC	2001	DBLP DOI BibTeX RDF
77	Marc Joye, Jean-Jacques Quisquater	On Rabin-Type Signatures.	IMACC	2001	DBLP DOI BibTeX RDF	Rabin-type systems, signature forgeries, digital signatures, factorization
68	Alejandro Hevia, Daniele Micciancio	Simultaneous broadcast revisited.	PODC	2005	DBLP DOI BibTeX RDF	parallel broadcast, independence, secure function evaluation
66	Yang Cai 0001, Ting Zhang, Haifeng Luo	An Improved Lower Bound for the Complementation of Rabin Automata.	LICS	2009	DBLP DOI BibTeX RDF
66	Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger	The Complexity of Stochastic Rabin and Streett Games'.	ICALP	2005	DBLP DOI BibTeX RDF
66	Hiroaki Kikuchi	Rabin Tree and Its Application to Group Key Distribution.	ATVA	2004	DBLP DOI BibTeX RDF
57	Aleksey Koval, Boris S. Verkhovsky	Cryptosystem Based on Extraction of Square Roots of Complex Integers.	ITNG	2008	DBLP DOI BibTeX RDF	Gaussian integers, Rabin algorithm, extraction of square roots, complex integers, Gaussian primes, Cryptography, RSA
56	Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman	Generalized Parity Games.	FoSSaCS	2007	DBLP DOI BibTeX RDF
56	Siguna Müller	A Probable Prime Test with Very High Confidence for n equiv 1 mod 4.	ASIACRYPT	2001	DBLP DOI BibTeX RDF
54	Kaoru Kurosawa, Takeshi Koshiba	Simple Direct Reduction of String (1, 2)-OT to Rabin's OT without Privacy Amplification.	ICITS	2008	DBLP DOI BibTeX RDF	deterministic randomness extractor, reduction, oblivious transfer, privacy amplification
54	Krishnendu Chatterjee, Thomas A. Henzinger	Strategy Improvement for Stochastic Rabin and Streett Games.	CONCUR	2006	DBLP DOI BibTeX RDF
54	Roope Kaivola	Fixpoints for Rabin Tree Automata Make Complementation Easy.	ICALP	1996	DBLP DOI BibTeX RDF
54	Danièle Beauquier, Andreas Podelski	Rabin Tree Automata and Finite Monoids.	MFCS	1993	DBLP DOI BibTeX RDF
45	Yvo Desmedt, Kaoru Kurosawa	A Generalization and a Variant of Two Threshold Cryptosystems Based on Factoring.	ISC	2007	DBLP DOI BibTeX RDF	threshold decryption, Goldwasser- Micali, Rabin, cryptography, Threshold signatures
45	Kaoru Kurosawa, Tsuyoshi Takagi	Some RSA-Based Encryption Schemes with Tight Security Reduction.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	RSA-Paillier, Rabin-Paillier, Factoring, semantic security, tight reduction
45	Thomas Colcombet, Konrad Zdanowski	A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata.	ICALP (2)	2009	DBLP DOI BibTeX RDF
45	Sven Schewe	Tighter Bounds for the Determinisation of Büchi Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF
45	Ivan Damgård, Gudmund Skovbjerg Frandsen	An Extended Quadratic Frobenius Primality Test with Average- and Worst-Case Error Estimate.	J. Cryptol.	2006	DBLP DOI BibTeX RDF
45	Ivan Damgård, Gudmund Skovbjerg Frandsen	An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates.	FCT	2003	DBLP DOI BibTeX RDF
45	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton	Deterministic w Automata vis-a-vis Deterministic Buchi Automata.	ISAAC	1994	DBLP DOI BibTeX RDF
43	Gui Liang Feng, Robert H. Deng, Feng Bao 0001, Jia-Chen Shen	New Efficient MDS Array Codes for RAID Part II: Rabin-Like Codes for Tolerating Multiple (greater than or equal to 4) Disk Failures.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Rabin codes, MDS array codes, multiple disk failures, RAID
43	Rosario Gennaro, Michael O. Rabin, Tal Rabin	Simplified VSS and Fast-Track Multiparty Computations with Applications to Threshold Cryptography.	PODC	1998	DBLP DOI BibTeX RDF
43	Nir Piterman, Amir Pnueli	Faster Solutions of Rabin and Streett Games.	LICS	2006	DBLP DOI BibTeX RDF
43	Craig Gentry	How to Compress Rabin Ciphertexts and Signatures (and More).	CRYPTO	2004	DBLP DOI BibTeX RDF
43	Dan Boneh	Simplified OAEP for the RSA and Rabin Functions.	CRYPTO	2001	DBLP DOI BibTeX RDF
43	Tomasz Fryderyk Urbanski	On Deciding if Deterministic Rabin Language Is in Büchi Class.	ICALP	2000	DBLP DOI BibTeX RDF
43	Daniel Panario, Alfredo Viola	Analysis of Rabin's Polynomial Irreducability Test.	LATIN	1998	DBLP DOI BibTeX RDF
43	Roger Fischlin, Claus-Peter Schnorr	Stronger Security Proofs for RSA and Rabin Bits.	EUROCRYPT	1997	DBLP DOI BibTeX RDF
43	Benny Chor, Oded Goldreich 0001	RSA/Rabin Least Significant Bits are 1/2 + 1/(poly(log N)) Secure.	CRYPTO	1984	DBLP DOI BibTeX RDF
41	Muhammad Asyraf Asbullah, Muhammad Rezal Kamel Ariffin	Rabin-$p$ Cryptosystem: Practical and Efficient Method for Rabin based Encryption Scheme.	CoRR	2014	DBLP BibTeX RDF
41	Cheng-Nan Lai, Gen-Huey Chen	w-Rabin numbers and strong w-Rabin numbers of folded hypercubes.	Networks	2008	DBLP DOI BibTeX RDF
34	Don Coppersmith, Jean-Sébastien Coron, François Grieu, Shai Halevi, Charanjit S. Jutla, David Naccache, Julien P. Stern	Cryptanalysis of ISO/IEC 9796-1.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	ISO/IEC 9796-1 signature standard, Rabin signatures, Cryptanalysis, Encoding scheme, RSA signatures
34	Adam L. Young, Moti Yung	Malicious Cryptography: Kleptographic Aspects.	CT-RSA	2005	DBLP DOI BibTeX RDF	Rabin, malicious cryptography, RSA, public key cryptography, attacks, random oracle, security threats, kleptography, SETUP
34	Adam L. Young, Moti Yung	A Key Recovery System as Secure as Factoring.	CT-RSA	2004	DBLP DOI BibTeX RDF	Rabin, Blum integer, pseudosquare, PKCS #1, standard compatibility, RSA, public key cryptography, zero-knowledge, chosen ciphertext security, key recovery, semantic Security, quadratic residue
34	Cheng-Nan Lai, Gen-Huey Chen, Dyi-Rong Duh	Constructing One-to-Many Disjoint Paths in Folded Hypercubes.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	folded hypercube, Rabin number, hypercube, optimization problem, Disjoint paths
34	Gaëtan Leurent, Phong Q. Nguyen	How Risky Is the Random-Oracle Model?	CRYPTO	2009	DBLP DOI BibTeX RDF
34	Stefan Schwoon	Determinization and Complementation of Streett Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
34	Orna Kupferman, Moshe Y. Vardi	The Weakness of Self-Complementation.	STACS	1999	DBLP DOI BibTeX RDF
34	Kenji Koyama, Ueli M. Maurer, Tatsuaki Okamoto, Scott A. Vanstone	New Public-Key Schemes Based on Elliptic Curves over the Ring Zn.	CRYPTO	1991	DBLP DOI BibTeX RDF
34	Wolfgang Thomas	Infinite Trees and Automaton Definable Relations over Omega-Words.	STACS	1990	DBLP DOI BibTeX RDF
34	Pierre Beauchemin, Gilles Brassard, Claude Crépeau	Two Observations on Probabilistic Primality Testing.	CRYPTO	1986	DBLP DOI BibTeX RDF
33	Ronald Cramer, Ivan Damgård, Stefan Dziembowski, Martin Hirt, Tal Rabin	Efficient Multiparty Computations Secure Against an Adaptive Adversary.	EUROCRYPT	1999	DBLP DOI BibTeX RDF
33	Juan A. Garay, Rosario Gennaro, Charanjit S. Jutla, Tal Rabin	Secure Distributed Storage and Retrieval.	WDAG	1997	DBLP DOI BibTeX RDF
33	Rosario Gennaro, Stanislaw Jarecki, Hugo Krawczyk, Tal Rabin	Robust and Efficient Sharing of RSA Functions.	CRYPTO	1996	DBLP DOI BibTeX RDF
33	Cheng-Wen Cheng, Jonas Rabin	Synthesis of Decision Rules.	Commun. ACM	1976	DBLP DOI BibTeX RDF
32	Hugues Chabot, Raphaël Khoury, Nadia Tawbi	Generating In-Line Monitors for Rabin Automata.	NordSec	2009	DBLP DOI BibTeX RDF	Monitoring Software Safety, Computer Security, Dynamic Analysis
32	Daniel J. Bernstein	Proving Tight Security for Rabin-Williams Signatures.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
32	Daniel Bleichenbacher	Compressing Rabin Signatures.	CT-RSA	2004	DBLP DOI BibTeX RDF
32	David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge Luis Villar	A Practical Public Key Cryptosystem from Paillier and Rabin Schemes.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF	public-key cryptography, factoring, standard model, semantic security
32	Jean-Sébastien Coron, David Naccache	Security Analysis of the Gennaro-Halevi-Rabin Signature Scheme.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
32	Mihir Bellare, Phillip Rogaway	The Exact Security of Digital Signatures - HOw to Sign with RSA and Rabin.	EUROCRYPT	1996	DBLP DOI BibTeX RDF
32	Thomas Wilke, Haiseung Yoo	Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time.	TAPSOFT	1995	DBLP DOI BibTeX RDF
23	Mingjiang Ye, Jianping Wu, Ke Xu 0002, Dah-Ming Chiu	Identify P2P Traffic by Inspecting Data Transfer Behaviour.	Networking	2009	DBLP DOI BibTeX RDF	P2P traffic identification, data transfer behaviour, content based partitioning, Rabin fingerprint, traffic management
23	Yossef Oren, Martin Feldhofer	A low-resource public-key identification scheme for RFID tags and sensor nodes.	WISEC	2009	DBLP DOI BibTeX RDF	rabin encryption, rfid technology, public-key encryption, hardware implementation
23	Joachim Klein 0001, Christel Baier	On-the-Fly Stuttering in the Construction of Deterministic omega -Automata.	CIAA	2007	DBLP DOI BibTeX RDF	Rabin, ?-automaton, determinization, LTL, deterministic, stuttering
23	Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki	Improving duplicate elimination in storage systems.	ACM Trans. Storage	2006	DBLP DOI BibTeX RDF	Rabin's fingerprints, content-based addressing, Storage management, duplicate elimination
23	Lars Ailo Bongo, Grant Wallace, Tore Larsen, Kai Li 0001, Olga G. Troyanskaya	Systems Support for Remote Visualization of Genomics Applications over Wide Area Networks.	GCCB	2006	DBLP DOI BibTeX RDF	genomics collaboration, Rabin fingerprints, compression, Remote visualization
23	Michael Kaminski, Nissim Francez	Finite-Memory Automata (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	Rabin-Scott finite-state automata, finite-memory automata, infinite alphabets, equality test, unification
23	Abdellatif Saoudi	Recognizable Infinite Tree Sets and their Complexity.	FSTTCS	1990	DBLP DOI BibTeX RDF	Büchi automata, Muller automata and Rabin automata, Tree automata
23	Wolfgang Thomas	Computation tree logic and regular omega-languages.	REX Workshop	1988	DBLP DOI BibTeX RDF	Büchi automata, Rabin tree automata, noncounting property, group-free monoids, computation tree logic, Branching time logic
23	Khaled Ouafi, Serge Vaudenay	Smashing SQUASH-0.	EUROCRYPT	2009	DBLP DOI BibTeX RDF	RFID, cryptanalysis, MAC
23	Jacques Duparc, Alessandro Facchini, Filip Murlak	Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata.	CSL	2009	DBLP DOI BibTeX RDF
23	Ralf Küsters, Max Tuengerthal	Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation.	CSF	2008	DBLP DOI BibTeX RDF	simulation-based security, joint state, secure composition, cryptographic protocols
23	Thomas Colcombet, Christof Löding	The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata.	ICALP (2)	2008	DBLP DOI BibTeX RDF
23	Victor L. Selivanov, Klaus W. Wagner	Complexity of Topological Properties of Regular omega-Languages.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
23	Dario Catalano, Dario Fiore 0001, Mariagrazia Messina	Zero-Knowledge Sets with Short Proofs.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
23	Ronald Cramer, Ivan Damgård, Robbert de Haan	Atomic Secure Multi-party Multiplication with Low Communication.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
23	William Josephson, Ruby B. Lee, Kai Li 0001	ISA Support for Fingerprinting and Erasure Codes.	ASAP	2007	DBLP DOI BibTeX RDF
23	Peter Lory	Reducing the Complexity in the Distributed Multiplication Protocol of Two Polynomially Shared Values.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
23	Bala Ravikumar	On Some Variations of Two-Way Probabilistic Finite Automata Models.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
23	Tomoyuki Asano, Kazuya Kamio	A Tree Based One-Key Broadcast Encryption Scheme with Low Computational Overhead.	ACISP	2005	DBLP DOI BibTeX RDF
23	Orna Kupferman, Gila Morgenstern, Aniello Murano	Typeness for omega-Regular Automata.	ATVA	2004	DBLP DOI BibTeX RDF
23	Siguna Müller	A Probable Prime Test with Very High Confidence for n L 3 mod 4.	J. Cryptol.	2003	DBLP DOI BibTeX RDF	Probable prime testing, Combined test, Quadratic fields, Efficiency, Running time, Failure probability
23	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Fair Equivalence Relations.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
23	Chi-Jen Lu	Hyper-encryption against Space-Bounded Adversaries from On-Line Strong Extractors.	CRYPTO	2002	DBLP DOI BibTeX RDF
23	Luca de Alfaro, Thomas A. Henzinger	Concurrent Omega-Regular Games.	LICS	2000	DBLP DOI BibTeX RDF
23	Olivier Carton, Wolfgang Thomas	The Monadic Theory of Morphic Infinite Words and Generalizations.	MFCS	2000	DBLP DOI BibTeX RDF
23	Jean-Sébastien Coron	On the Exact Security of Full Domain Hash.	CRYPTO	2000	DBLP DOI BibTeX RDF
23	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Fair Equivalence Relations.	FSTTCS	2000	DBLP DOI BibTeX RDF
23	Peter Landrock	A New Concept in Protocols: Verifiable Computational Delegation (Position Paper).	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
23	Dario Catalano, Rosario Gennaro	New Efficient and Secure Protocols for Verifiable Signature Sharing and Other Applications.	CRYPTO	1998	DBLP DOI BibTeX RDF
23	Jörg Schwenk, Jörg Eisfeld	Public Key Encryption and Signature Schemes Based on Polynomials over Zn.	EUROCRYPT	1996	DBLP DOI BibTeX RDF
23	Helmut Lescow	On Polynomial-Size Programs Winning Finite-State Games.	CAV	1995	DBLP DOI BibTeX RDF
23	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton	Structural Complexity of Omega-Automata.	STACS	1995	DBLP DOI BibTeX RDF
23	Azad Jiwa, Jennifer Seberry, Yuliang Zheng 0001	Beacon Based Authentication.	ESORICS	1994	DBLP DOI BibTeX RDF	Term Index Beacon, Authentication, Network Security, Information Security, Security Protocol
23	Damian Niwinski	On the Cardinality of Sets of Infinite Trees Recognizable by Finite Automata.	MFCS	1991	DBLP DOI BibTeX RDF
23	Jørgen Brandt, Ivan Damgård, Peter Landrock	Speeding up Prime Number Generation.	ASIACRYPT	1991	DBLP DOI BibTeX RDF
23	John G. Thistle, Walter Murray Wonham	Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.	CSL	1991	DBLP DOI BibTeX RDF
23	Hubert Wagener	On the Emptiness Problem of Tree Automata and Completeness of Modal Logics of Programs.	CSL	1988	DBLP DOI BibTeX RDF
23	Damian Niwinski	On Fixed-Point Clones (Extended Abstract).	ICALP	1986	DBLP DOI BibTeX RDF
23	Hugh C. Williams	An M³ Public-Key Encryption Scheme.	CRYPTO	1985	DBLP DOI BibTeX RDF
23	Richard Berger, René Peralta 0001, Tom Tedrick	A Provably Secure Oblivious Transfer Protocol.	EUROCRYPT	1984	DBLP DOI BibTeX RDF
23	Hugh C. Williams	Some Public Key Crypto-Functions as Intractable as Factorization.	CRYPTO	1984	DBLP DOI BibTeX RDF
22	Qin Xu, Li Wei, Kang Nai, Huanhuan Zhang, Robert Rabin	A Space-Time Variational Method for Retrieving Upper-Level Vortex Winds from GOES-16 Rapid Scans over Hurricanes.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
22	Claire Lauzon, Daniel Chiasso, Jennifer S. Rabin, Elisa Ciaramelli, R. Shayna Rosenbaum	Ventromedial Prefrontal Cortex Does Not Play a Selective Role in Pattern Separation.	J. Cogn. Neurosci.	2024	DBLP DOI BibTeX RDF
22	Rabin K. Jana, Dinesh K. Sharma, Subrata Kumar Mitra, Bidushi Chakraborty	Routing decisions for Buddhist pilgrimage: an elitist genetic algorithm approach.	Int. J. Syst. Assur. Eng. Manag.	2024	DBLP DOI BibTeX RDF
22	Aftab Hussain 0001, Md. Rafiqul Islam Rabin, Navid Ayoobi, Mohammad Amin Alipour	Measuring Impacts of Poisoning on Model Parameters and Neuron Activations: A Case Study of Poisoning CodeBERT.	CoRR	2024	DBLP DOI BibTeX RDF
22	Aftab Hussain 0001, Md. Rafiqul Islam Rabin, Mohammad Amin Alipour	On Trojan Signatures in Large Language Models of Code.	CoRR	2024	DBLP DOI BibTeX RDF