Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Fabien Laguillaumie, Damien Vergnaud |
Multi-designated Verifiers Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings, pp. 495-507, 2004, Springer, 3-540-23563-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multi-designated verifiers signatures, privacy of signers identity, bilinear maps, ring signatures, exact security |
86 | Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng |
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 624-629, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
74 | Mike Burmester, Yvo Desmedt |
Broadcast Interactive Proofs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '91, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8-11, 1991, Proceedings, pp. 81-95, 1991, Springer, 3-540-54620-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
70 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
The open verifier framework for foundational verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 1-12, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
language-based security, proof-carrying code, typed assembly language |
70 | Cynthia Dwork, Larry J. Stockmeyer |
Finite State Verifiers I: The Power of Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 39(4), pp. 800-828, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
complexity theory, finite state automata, interactive proof systems, probabilistic automata, Arthur-Merlin games |
70 | Cynthia Dwork, Larry J. Stockmeyer |
Zero-Knowledge With Finite State Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '88, 8th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1988, Proceedings, pp. 71-75, 1988, Springer, 3-540-97196-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
58 | Jan Camenisch, Anna Lysyanskaya |
An Identity Escrow Scheme with Appointed Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2001, 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings, pp. 388-407, 2001, Springer, 3-540-42456-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
formal model for group signatures, group signatures, privacy protection, Identity escrow |
49 | Willy Susilo, Yi Mu 0001 |
Non-interactive Deniable Ring Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2003, 6th International Conference, Seoul, Korea, November 27-28, 2003, Revised Papers, pp. 386-401, 2003, Springer, 3-540-21376-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Ring signature schemes, non-interactive, ring-to-ring authentication, deniable |
47 | Mebae Ushida, Tetsuya Izu, Masahiko Takenaka, Kazuo Ohta |
Multiple Designated Verifiers Signatures Reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland, pp. 586-590, 2010, IEEE Computer Society, 978-0-7695-3965-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
multiple designated verifiers signature |
47 | Joe Kilian |
Zero-knowledge with Log-Space Verifiers ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 25-35, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
language-recognition, log-space verifiers, probabilistic log-space automata, exponential-time languages, protocols, zero knowledge, interactive proof systems |
45 | Reynold Cheng, Jinchuan Chen, Mohamed F. Mokbel, Chi-Yin Chow |
Probabilistic Verifiers: Evaluating Constrained Nearest-Neighbor Queries over Uncertain Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 973-982, 2008, IEEE Computer Society, 978-1-4244-1836-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Sherman S. M. Chow |
Identity-Based Strong Multi-Designated Verifiers Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPKI ![In: Public Key Infrastructure, Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006, Proceedings, pp. 257-259, 2006, Springer, 3-540-35151-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Vaughan R. Pratt |
On Specifying Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 106-116, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
38 | Klaus Meer |
Transparent Long Proofs: A First PCP Theorem for NPR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 5(3), pp. 231-255, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Real number complexity, Verifiers, Probabilistically checkable proofs |
38 | Eyal de Lara, Karin Petersen, Douglas B. Terry, Anthony LaMarca, James D. Thornton, Michael Salisbury, Paul Dourish, W. Keith Edwards, John Lamping |
Caching Documents with Active Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Hot Topics in Operating Systems ![In: Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, HotOS-VII, Rio Rico, Arizona, USA, March 28-30, 1999, pp. 8-13, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
active properties (or metadata), notifiers, caching, documents, customization, verifiers |
38 | Venkatesan Guruswami, Daniel Lewin 0001, Madhu Sudan 0001, Luca Trevisan |
A Tight Characterization of NP with 3 Query PCPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 39th Annual Symposium on Foundations of Computer Science, FOCS '98, November 8-11, 1998, Palo Alto, California, USA, pp. 8-17, 1998, IEEE Computer Society, 0-8186-9172-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Probabilistically Checkable Proofs (PCP), Proof composition, Two-prover one-round proof systems, Adaptive and non-adaptive verifiers, Completeness and soundness, Complexity Theory, Query complexity |
37 | Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski |
Distributed Verification of Mixing - Local Forking Proofs Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008, Proceedings, pp. 128-140, 2008, Springer, 978-3-540-69971-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
distributed system, anonymity, mix |
37 | Raylin Tso, Juan Manuel González Nieto, Takeshi Okamoto, Colin Boyd, Eiji Okamoto |
Verifier-Key-Flexible Universal Designated-Verifier Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 11th IMA International Conference, Cirencester, UK, December 18-20, 2007, Proceedings, pp. 403-421, 2007, Springer, 978-3-540-77271-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
universal designated-verifier signature, verifier-key-flexible, random oracle, ECDSA |
37 | David A. Naumann |
From Coupling Relations to Mated Invariants for Checking Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings, pp. 279-296, 2006, Springer, 3-540-44601-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Mihir Bellare, Juan A. Garay, Tal Rabin |
Batch Verification with Applications to Cryptography and Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 170-191, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
37 | Volker Heun, Wolfgang Merkle, Ulrich Weigand |
Proving the PCP-Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Proof Verification and Approximation Algorithms ![In: Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997), pp. 83-160, 1997, Springer, 3-540-64201-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Markus Jakobsson |
Blackmailing using Undeniable Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '94, Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994, Proceedings, pp. 425-427, 1994, Springer, 3-540-60176-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
37 | Stephen S. Yau, Wonmo Hong |
Verification of Concurrent Control Flow in Distributed Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(4), pp. 405-417, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
software design representation, fault-tolerance, Context-free grammar, control flow checking, distributed software |
33 | Dimitris Fotakis 0001, Paul G. Spirakis |
(poly(log log n), poly(log log n))-Restricted Verifiers are Unlikely to Exist for Languages in NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, pp. 360-371, 1996, Springer, 3-540-61550-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Satyanarayana V. Lokam, Meena Mahajan, V. Vinay |
Logspace Verifiers, NC, and NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 6th International Symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995, Proceedings, pp. 52-61, 1995, Springer, 3-540-60573-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Yonatan Aumann, Uriel Feige |
On Message Proof Systems with Known Space Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '93, 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993, Proceedings, pp. 85-99, 1993, Springer, 3-540-57766-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Joe Kilian |
Interactive Proofs with Provable Security Against Honest Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '90, 10th Annual International Cryptology Conference, Santa Barbara, California, USA, August 11-15, 1990, Proceedings, pp. 378-392, 1990, Springer, 3-540-54508-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Cynthia Dwork, Larry J. Stockmeyer |
On the Power of 2-Way Probabilistic Finite State Automata (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 480-485, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
2PFA verifiers, 2-way probabilistic finite state automata, recognition power, nonregular language, exponential expected time, private randomization, public randomization, interactive proof systems |
26 | Anne Condon, Richard J. Lipton |
On the Complexity of Space Bounded Interactive Proofs (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 462-467, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
space bounded interactive proofs, finite-state verifiers, Markov chains, finite-state machines, upper bound, undecidable, interactive proof systems, recursively enumerable language |
25 | Jinchuan Chen, Reynold Cheng, Mohamed F. Mokbel, Chi-Yin Chow |
Scalable processing of snapshot and continuous nearest-neighbor queries over one-dimensional uncertain data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(5), pp. 1219-1240, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic nearest-neighbor query, Partial evaluation, Continuous query, Uncertain data, Incremental evaluation |
25 | Riccardo Bresciani, Andrew Butterfield |
Weakening the Dolev-Yao model through probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIN ![In: Proceedings of the 2nd International Conference on Security of Information and Networks, SIN 2009, Gazimagusa, North Cyprus, October 6-10, 2009, pp. 293-297, 2009, ACM, 978-1-60558-412-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
protocol verification |
25 | Benoît Libert, Damien Vergnaud |
Group Signatures with Verifier-Local Revocation and Backward Unlinkability in the Standard Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security, 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings, pp. 498-517, 2009, Springer, 978-3-642-10432-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
verifier-local revocation, backward unlinkability, Group signatures, standard model, bilinear maps |
25 | Frédéric Vogels, Bart Jacobs 0002, Frank Piessens |
A Machine Checked Soundness Proof for an Intermediate Verification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 570-581, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Omkant Pandey, Rafael Pass, Amit Sahai, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam |
Precise Concurrent Zero Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2008, 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings, pp. 397-414, 2008, Springer, 978-3-540-78966-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Adrian Leung, Liqun Chen 0002, Chris J. Mitchell |
On a Possible Privacy Flaw in Direct Anonymous Attestation (DAA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRUST ![In: Trusted Computing - Challenges and Applications, First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008, Villach, Austria, March 11-12, 2008, Proceedings, pp. 179-190, 2008, Springer, 978-3-540-68978-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Direct Anonymous Attestation, Privacy, Trusted Computing, DAA |
25 | Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum |
Delegating computation: interactive proofs for muggles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 113-122, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
muggles, delegation, interactive proofs |
25 | Ernie Brickell, Jiangtao Li 0001 |
Enhanced privacy id: a direct anonymous attestation scheme with enhanced revocation capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPES ![In: Proceedings of the 2007 ACM Workshop on Privacy in the Electronic Society, WPES 2007, Alexandria, VA, USA, October 29, 2007, pp. 21-30, 2007, ACM, 978-1-59593-883-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
privacy, anonymity, cryptographic protocols, trusted computing |
25 | Vitaly Shmatikov, Ming-Hsiu Wang |
Secure Verification of Location Claims with Simultaneous Distance Modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings, pp. 181-195, 2007, Springer, 978-3-540-76927-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Naiyong Jin, Chengjie Shen |
Dynamic Verifying The Properties of The Simple Subset of PSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 229-240, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Najwa Aaraj, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
Architectures for efficient face authentication in embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE Designers' Forum ![In: Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 1-6, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-0-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Anantharaman Lakshminarayanan, Tong-Lee Lim |
Augmented Certificate Revocation Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings, pp. 87-98, 2006, Springer, 3-540-35458-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang |
Restricted Universal Designated Verifier Signature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 874-882, 2006, Springer, 3-540-38091-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yi-Hwa Chen, Jinn-ke Jan |
Enhancement of digital signature with message recovery using self-certified public keys and its variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 39(3), pp. 90-96, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
self-certified public key, authenticated encryption, forward secrecy |
25 | Matt Lepinski, Silvio Micali, Abhi Shelat |
Fair-Zero Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005, Proceedings, pp. 245-263, 2005, Springer, 3-540-24573-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Michael Beattie, B. V. K. Vijaya Kumar, Simon Lucey, Ozan K. Tonguz |
Combining Verification Decisions in a Multi-vendor Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVBPA ![In: Audio- and Video-Based Biometric Person Authentication, 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005, Proceedings, pp. 406-415, 2005, Springer, 3-540-27887-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Tetsuya Izu, Nobuyuki Kanaya, Masahiko Takenaka, Takashi Yoshioka |
PIATS: A Partially Sanitizable Signature Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings, pp. 72-83, 2005, Springer, 3-540-30934-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Sanitizable signature scheme, partial integrity, privacy |
25 | Albert Levi, M. Ufuk Çaglayan, Çetin Kaya Koç |
Use of nested certificates for efficient, dynamic, and trust preserving public key infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 7(1), pp. 21-59, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
nested certificates, key management, public key infrastructure, Digital certificates |
25 | Dan Boneh, Hovav Shacham |
Group signatures with verifier-local revocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 168-177, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
trusted computing, group signatures, revocation |
25 | Philip W. L. Fong, Robert D. Cameron |
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 9(4), pp. 379-409, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking |
25 | Vighneswara Row Mokkarala, Antony Fan, Ravi Apte |
A unified approach to simulation and timing verification at the functional level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 757-761, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
21 | Alon Jacovi, Yonatan Bitton, Bernd Bohnet, Jonathan Herzig, Or Honovich, Michael Tseng, Michael Collins 0001, Roee Aharoni, Mor Geva |
A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.00559, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Arian Hosseini, Xingdi Yuan, Nikolay Malkin, Aaron C. Courville, Alessandro Sordoni, Rishabh Agarwal |
V-STaR: Training Verifiers for Self-Taught Reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06457, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Kyosuke Yamashita, Keisuke Hara |
On the Black-Box impossibility of multi-designated verifiers signature schemes from ring signature schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Cryptol. ![In: J. Math. Cryptol. 18(1), February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Thibault Dardinier, Gaurav Parthasarathy, Peter Müller 0001 |
Verification-Preserving Inlining in Automatic Separation Logic Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA1), pp. 789-818, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | M. Utkan Gezer, Özdeniz Dolu, Nevzat Ersoy, A. C. Cem Say |
Real-time, constant-space, constant-randomness verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 976, pp. 114155, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Kevin Matthe Caramancion |
News Verifiers Showdown: A Comparative Performance Evaluation of ChatGPT 3.5, ChatGPT 4.0, Bing AI, and Bard in News Fact-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.17176, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Fei Yu, Anningzhe Gao, Benyou Wang |
Outcome-supervised Verifiers for Planning in Mathematical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.09724, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Raya Elsaleh, Guy Katz |
DelBugV: Delta-Debugging Neural Network Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.18558, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li 0005 |
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.14591, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Daman Arora, Subbarao Kambhampati |
Learning and Leveraging Verifiers to Improve Planning Capabilities of Pre-trained Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.17077, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | M. Utkan Gezer, A. C. Cem Say |
Finite state verifiers with both private and public coins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.09542, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Yunyun Qu, Jiwen Zeng |
Identity-based ring signature scheme with multi-designated verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Ad Hoc Ubiquitous Comput. ![In: Int. J. Ad Hoc Ubiquitous Comput. 43(1), pp. 18-28, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Kyosuke Yamashita, Keisuke Hara |
On the Black-Box Impossibility of Multi-Designated Verifiers Signature Schemes from Ring Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1249, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001 |
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 35(2), pp. 7:1-7:27, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | David W. Chadwick, Michael Kubach, Ioram Schechtman Sette, Isaac Henderson Johnson Jeyakumar |
Establishing Trust in SSI Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Identity Summit ![In: Open Identity Summit 2023, Heilbronn, Germany, June 15-16, 2023, 2023, Gesellschaft für Informatik e.V., 978-3-88579-729-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Dirk Beyer 0001, Jan Haltermann, Thomas Lemberger 0002, Heike Wehrheim |
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, pp. 37-38, 2023, Gesellschaft für Informatik e.V., 978-3-88579-726-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | M. Utkan Gezer, A. C. Cem Say |
Finite State Verifiers with Both Private and Public Coins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023., pp. 241-253, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Lukas Armborst, Sophie Lathouwers, Marieke Huisman |
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 153-171, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Marek Chalupa, Thomas A. Henzinger |
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, pp. 535-540, 2023, Springer, 978-3-031-30819-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Owen Millwood, Hongming Fei, Prosanta Gope, Oguz Narli, Meltem Kurt Pehlivanoglu, Elif Bilge Kavun, Biplab Sikdar 0001 |
A Privacy-Preserving Protocol Level Approach to Prevent Machine Learning Modelling Attacks on PUFs in the Presence of Semi-Honest Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOST ![In: IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2023, San Jose, CA, USA, May 1-4, 2023, pp. 326-336, 2023, IEEE, 979-8-3503-0062-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li 0005 |
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Raya Elsaleh, Guy Katz |
DelBugV: Delta-Debugging Neural Network Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 34-43, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Florian Dyck, Cedric Richter, Heike Wehrheim |
Robustness Testing of Software Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, pp. 66-84, 2023, Springer, 978-3-031-47114-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Özdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say |
Real-Time, Constant-Space, Constant-Randomness Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.00968, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi 0001, Ekaterina Komendantskaya |
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.05207, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Thibault Dardinier, Gaurav Parthasarathy, Peter Müller 0001 |
Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.10456, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Xuan Xie, Fuyuan Zhang |
DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.08087, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann |
Sapic+: protocol verifiers of the world, unite! ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 741, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Kang Yang 0002, Xiao Wang 0012 |
Non-Interactive Zero-Knowledge Proofs to Multiple Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 63, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | M. Utkan Gezer, A. C. Cem Say |
Constant-space, constant-randomness verifiers with arbitrarily small error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 288, pp. 104744, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Ranjit Jhala |
Embedded Domain Specific Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 535-553, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann |
SAPIC+: protocol verifiers of the world, unite! ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022, pp. 3935-3952, 2022, USENIX Association, 978-1-939133-31-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Özdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say |
Real-Time, Constant-Space, Constant-Randomness Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings, pp. 212-224, 2022, Springer, 978-3-031-07468-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Kang Yang 0002, Xiao Wang 0012 |
Non-interactive Zero-Knowledge Proofs to Multiple Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (3) ![In: Advances in Cryptology - ASIACRYPT 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part III, pp. 517-546, 2022, Springer, 978-3-031-22968-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Tong Wu, Peter Schrammel, Lucas C. Cordeiro |
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, pp. 484-489, 2022, Springer, 978-3-030-99526-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Sophie Lathouwers, Marieke Huisman |
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, pp. 69-79, 2022, ACM, 978-1-4503-9287-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Dirk Beyer 0001, Martin Spiessl, Sven Umbricht |
Cooperation Between Automatic and Interactive Software Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings, pp. 111-128, 2022, Springer, 978-3-031-17107-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Dirk Beyer 0001, Sudeep Kanav, Cedric Richter |
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, pp. 49-70, 2022, Springer, 978-3-030-99428-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Yun-Hsin Chuang, Chin-Laung Lei |
PUF Based Authenticated Key Exchange Protocol for IoT Without Verifiers and Explicit CRPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 112733-112743, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Guangwei Xu, Miaolin Lai, Xiangyang Feng, Qiubo Huang, Xin Luo, Li Li, Shan Li |
Verification Algorithm for the Duplicate Verification Data with Multiple Verifiers and Multiple Verification Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSII Trans. Internet Inf. Syst. ![In: KSII Trans. Internet Inf. Syst. 15(2), pp. 558-579, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Inbar Kaslasi, Ron Rothblum, Prashant Nalini Vasudevan |
Public-Coin Statistical Zero-Knowledge Batch Verification against Malicious Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR21, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Aliya Khadieva, Abuzer Yakaryilmaz |
Affine automata verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.11192, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, Mark Chen 0003, Heewoo Jun, Lukasz Kaiser, Matthias Plappert, Jerry Tworek, Jacob Hilton, Reiichiro Nakano, Christopher Hesse, John Schulman |
Training Verifiers to Solve Math Word Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.14168, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001 |
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.04385, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Inbar Kaslasi, Ron D. Rothblum, Prashant Nalini Vasudevan |
Public-Coin Statistical Zero-Knowledge Batch Verification against Malicious Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 233, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Marco Eilers, Severin Meier, Peter Müller 0001 |
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, pp. 718-741, 2021, Springer, 978-3-030-81684-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Abhijit Mudigonda, R. Ryan Williams |
Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: 12th Innovations in Theoretical Computer Science Conference, ITCS 2021, January 6-8, 2021, Virtual Conference., pp. 50:1-50:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-177-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001 |
Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 273-291, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Weiquan Ni, Jiawen Kang, Carsten Maple, Zehui Xiong, Alia Asheralieva |
Fast and Secure Consortium Blockchains with Lightweight Block Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCCA ![In: Third International Conference on Blockchain Computing and Applications, BCCA 2021, Tartu, Estonia, November 15-17, 2021, pp. 11-18, 2021, IEEE, 978-1-6654-2182-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
Metha: Network Verifiers Need To Be Correct Too! ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 18th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2021, April 12-14, 2021., pp. 99-113, 2021, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|