|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 242 occurrences of 153 keywords
|
|
|
Results
Found 481 publication records. Showing 481 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
78 | Lucie Langer, Melanie Volkamer, Stefan G. Weber, Axel Schmidt 0001, Johannes Buchmann 0001 |
Towards long-term free and secret electronic elections providing voter-verifiability in the bulletin board model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009, pp. 203-210, 2009, ACM, 978-1-60558-663-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
long-term anonymity, electronic voting, security requirements, verifiability |
59 | Sriperumbuduru Kandala Simhalu, Keiji Takeda |
Browser Based Agile E-Voting System. ![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. 62-69, 2007, Springer, 978-3-540-76927-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Individual Verifiability, Agile Voting, Anonymity, E-Voting |
59 | Jun Furukawa 0001, Kazue Sako |
An Efficient Publicly Verifiable Mix-Net for Long Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography and Data Security, 10th International Conference, FC 2006, Anguilla, British West Indies, February 27-March 2, 2006, Revised Selected Papers, pp. 111-125, 2006, Springer, 3-540-46255-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Hybrid-mix, efficient, public verifiability, multiple encryption |
59 | Ik Rae Jeong, Hee Yun Jeong, Hyun Sook Rhee, Dong Hoon Lee 0001, Jong In Lim 0001 |
Provably Secure Encrypt-then-Sign Composition in Hybrid Signcryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2002, 5th International Conference Seoul, Korea, November 28-29, 2002, Revised Papers, pp. 16-34, 2002, Springer, 3-540-00716-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
encrypt-then-sign, authenticity, confidentiality, non-repudiation, signcryption, authenticated encryption, public verifiability |
52 | Sherman S. M. Chow, Siu-Ming Yiu, Lucas Chi Kwong Hui, Kam-Pui Chow |
Efficient Forward and Provably Secure ID-Based Signcryption Scheme with Public Verifiability and Public Ciphertext Authenticity. ![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. 352-369, 2003, Springer, 3-540-21376-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Identity-based signcryption, public ciphertext authenticity, network security, provable security, firewalls, elliptic curve cryptosystems, public key cryptosystems, forward security, semantical security, cryptographic primitives, public verifiability |
52 | Byoungcheon Lee, Kwangjo Kim, Joongsoo Ma |
Efficient Public Auction with One-Time Registration and Public Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2001, Second International Conference on Cryptology in India, Chennai, India, December 16-20, 2001, Proceedings, pp. 162-174, 2001, Springer, 3-540-43010-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
public auction, English auction, one-time registration, signature of knowledge, anonymous signature scheme, anonymity, hash chain, public verifiability |
46 | Orhan Cetinkaya |
Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 1451-1456, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
e-voting requirements, voting problem, electronic voting, verifiability, receipt-freeness |
44 | Antony Tang, Jun Han 0004 |
Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA, pp. 135-144, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Changjie Wang, Ho-fung Leung |
A Secure and Fully Private Borda Voting Protocol with Universal Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 224-229, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Borda voting protocol, universal verification, Security, Privacy protection, Electronic voting, ElGamal encryption |
44 | George J. Milne |
Design for Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 1-13, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Zhuo Hao, Sheng Zhong 0002, Nenghai Yu |
A Privacy-Preserving Remote Data Integrity Checking Protocol with Data Dynamics and Public Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 23(9), pp. 1432-1437, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
data dynamics, privacy, Data integrity, public verifiability |
40 | Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001 |
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 32nd IEEE Symposium on Security and Privacy, SP 2011, 22-25 May 2011, Berkeley, California, USA, pp. 538-553, 2011, IEEE Computer Society, 978-1-4577-0147-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
privacy, voting, protocol analysis, verifiability, coercion-resistance |
37 | Peter B. Rønne, Peter Y. A. Ryan, Marie-Laure Zollinger |
Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.14783, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
34 | Yu-Fang Chung, Tzer-Shyong Chen, Yu-Ting Chen, Chiu-Chan Lee, Szu-Wen Wang |
An Agent-Based English Auction Protocol Using Elliptic Curve Cryptosystem for Mobile Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Algorithms and Architectures for Parallel Processing, 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings, pp. 214-225, 2009, Springer, 978-3-642-03094-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
English auction protocol, Mobile agent, anonymity, elliptic curve cryptosystem, public verifiability |
34 | Christian Bunse |
Using patterns for the refinement and translationof UML models: A controlled experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(2), pp. 227-267, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Patterns, Empirical evaluation, Understandability, Verifiability |
34 | Isamu Teranishi, Kazue Sako |
k-Times Anonymous Authentication with a Constant Proving Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2006, 9th International Conference on Theory and Practice of Public-Key Cryptography, New York, NY, USA, April 24-26, 2006, Proceedings, pp. 525-542, 2006, Springer, 3-540-33851-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
k-times anonymous authentication, efficiency, public verifiability |
34 | Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger |
Anonymous Payment in a Fair E-Commerce Protocol with Verifiable TTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustBus ![In: Trust, Privacy and Security in Digital Business: Second International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings, pp. 60-69, 2005, Springer, 3-540-28224-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Electronic coins, Anonymity, Atomicity, Fair exchange, Verifiability |
34 | Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee |
An Efficient and Verifiable Solution to the Millionaire Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2004, 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers, pp. 51-66, 2004, Springer, 3-540-26226-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
millionaire problem, zero test, batch equation, efficiency, verifiability |
34 | Jun Furukawa 0001, Kazue Sako |
An Efficient Scheme for Proving a Shuffle. ![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. 368-387, 2001, Springer, 3-540-42456-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Universal Verifiability, Permutation, Electronic Voting, Mix-net |
34 | Masayuki Abe |
Universally Verifiable Mix-net with Verification Work Indendent of the Number of Mix-servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '98, International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceeding, pp. 437-447, 1998, Springer, 3-540-64518-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Universal Verifiability, Electronic Voting, Mix-net |
31 | Qian Wang 0002, Cong Wang 0001, Jin Li 0002, Kui Ren 0001, Wenjing Lou |
Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings, pp. 355-370, 2009, Springer, 978-3-642-04443-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Wen Chen 0001, Feiyu Lei |
An Efficient Multi-sender Identity Based Threshold Signcryption with Public Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 3-6 December 2007, Adelaide, Australia, pp. 149-150, 2007, IEEE Computer Society, 0-7695-3049-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Hovav Shacham, Brent Waters |
Compact Proofs of Retrievability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2008, 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings, pp. 90-107, 2008, Springer, 978-3-540-89254-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri |
Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings, pp. 403-418, 2008, Springer, 978-3-540-88624-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Orhan Cetinkaya, Ali Doganaksoy |
A Practical Verifiable e-Voting Protocol for Large Scale Elections over a Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 432-442, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Takuya Mishina, Sachiko Yoshihama, Michiharu Kudo |
Fine-Grained Sticky Provenance Architecture for Office Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security, Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings, pp. 336-351, 2007, Springer, 978-3-540-75650-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Changjie Wang, Ho-fung Leung |
A secure voter-resolved approval voting protocol over internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 646-652, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
approval voting, universal verification, voter-resolved, security, privacy protection, electronic voting, ElGamal encryption |
25 | Íñigo Ugarte, Pablo Sanchez |
Assertion Checking of Behavioral Descriptions with Non-linear Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, pp. 229-231, 2005, IEEE Computer Society, 0-7695-2451-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Tianjie Cao, Dongdai Lin, Rui Xue 0001 |
ID-Based Ring Authenticated Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan, pp. 591-596, 2005, IEEE Computer Society, 0-7695-2249-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Seung-Hyun Seo, Sang-Ho Lee |
A Secure and Flexible Multi-signcryption Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV, pp. 689-697, 2004, Springer, 3-540-22060-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Signcryption, multi-signature |
25 | Aggelos Kiayias, Moti Yung |
Non-interactive Zero-Sharing with Applications to Private Distributed Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography, 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003, Revised Papers, pp. 303-320, 2003, Springer, 3-540-40663-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Veto, Simultaneous Disclosure, Privacy, Electronic Voting, Distributed Decision Making, Proofs of Knowledge |
25 | Peter McBurney, Simon Parsons |
Engineering Democracy in Open Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World IV, 4th International Workshop, ESAW 2003, London, UK, October 29-31, 2003, Revised Selected and Invited Papers, pp. 66-80, 2003, Springer, 3-540-22231-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Ronald Cramer, Ivan Damgård, Ueli M. Maurer |
General Secure Multi-party Computation from any Linear Secret-Sharing Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2000, International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000, Proceeding, pp. 316-334, 2000, Springer, 3-540-67517-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Fahad Ahmed, Asif Masood, Firdous Kausar |
An Efficient Multi Recipient Signcryption Scheme Offering Non Repudiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 1577-1581, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Non-repudiation, Signcryption, Discrete Logarithm Problem, Public verifiability, Diffie-Hellman Problem |
21 | Chun-Ta Li, Min-Shiang Hwang, Yan-Chi Lai |
A Verifiable Electronic Voting Scheme over the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 449-454, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Security, Electronic voting, Blind signature, Verifiability, Cryptosystem |
21 | André Zúquete, Filipe Almeida |
Verifiable anonymous vote submission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 2159-2166, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
innocuous vote receipt, anonymity, verifiability, e-voting, receipt-freeness |
21 | Kamer Kaya, Ali Aydin Selçuk |
A Verifiable Secret Sharing Scheme Based on the Chinese Remainder Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2008, 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings, pp. 414-425, 2008, Springer, 978-3-540-89753-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
joint random secret sharing, Asmuth-Bloom secret sharing scheme, Chinese Remainder Theorem, Verifiability |
21 | Ke Zeng |
Publicly Verifiable Remote Data Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings, pp. 419-434, 2008, Springer, 978-3-540-88624-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
integrity, pairing, public verifiability, data outsourcing |
21 | C. Richard Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw |
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 268-271, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conditional coverage, inconclusive results, formal verification, code coverage, verifiability, coverage hole |
21 | Shane Greenstein |
Wagging Wikipedia's long tail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 27(2), pp. 6, 79, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
admins, John Huchra, Patrick Stewart, Wikipedia, economics, verifiability |
21 | Christophe Tartary, Josef Pieprzyk, Huaxiong Wang |
Verifiable Multi-secret Sharing Schemes for Multiple Threshold Access Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inscrypt ![In: Information Security and Cryptology, Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers, pp. 167-181, 2007, Springer, 978-3-540-79498-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Threshold Access Structures, Share Verifiability, Keyed One-Way Functions, Chinese Remainder Theorem, Secret Sharing Scheme |
21 | Yingjiu Li, Robert Huijie Deng |
Publicly verifiable ownership protection for relational databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2006, Taipei, Taiwan, March 21-24, 2006, pp. 78-89, 2006, ACM, 1-59593-272-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ownership protection, relational database, watermark, certificate, public verifiability |
21 | Changjie Wang, Dickson K. W. Chiu, Ho-fung Leung |
Anonymity and Security Support for Persistent Enterprise Conversation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, pp. 471-476, 2006, IEEE Computer Society, 0-7695-2558-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
alias certificates, Anonymity, privacy protection, verifiability, anonymity revocation, cryptograph |
21 | C. Andrew Neff |
A verifiable secret shuffle and its application to e-voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS 2001, Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, November 6-8, 2001., pp. 116-125, 2001, ACM, 1-58113-385-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
honest-verifier, universal verifiability, verifiable mix, verifiable shuffle, zeroknowledge, permutation, electronic voting, mix-net, anonymous credentials |
19 | Mark Manulis, Jérôme Nguyen |
Fully Homomorphic Encryption beyond IND-CCA1 Security: Integrity through Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 202, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
19 | Leo de Castro, Keewoo Lee |
VeriSimplePIR: Verifiability in SimplePIR at No Online Cost for Honest Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 341, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
19 | Tamara Finogina, Javier Herranz |
On remote electronic voting with both coercion resistance and cast-as-intended verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 76, pp. 103554, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Edlira Dushku, Md Masoom Rabbani, Jo Vliegen, An Braeken, Nele Mentens |
PROVE: Provable remote attestation for public verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 75, pp. 103448, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jintong Sun, Fucai Zhou, Qiang Wang 0005, Zi Jiao, Yun Zhang 0020 |
Flexible revocation and verifiability for outsourced Private Set Intersection computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 73, pp. 103438, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Muntadher Sallal, Ruairí de Fréin, Ali Malik |
PVPBC: Privacy and Verifiability Preserving E-Voting Based on Permissioned Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Internet ![In: Future Internet 15(4), pp. 121, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Duo Zhang 0004, Shangping Wang, Qian Zhang 0029, Yaling Zhang |
Attribute Based Conjunctive Keywords Search With Verifiability and Fair Payment Using Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 16(6), pp. 4168-4182, November - December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad Reza Mousavi 0001, Ana Cavalcanti 0001, Michael Fisher 0001, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock 0001 |
Trustworthy Autonomous Systems Through Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 56(2), pp. 40-47, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Cristhian Martinez-Rendon, José Luis González 0002, Dante D. Sánchez-Gallegos, Jesús Carretero 0001 |
CD/CV: Blockchain-based schemes for continuous verifiability and traceability of IoT data for edge-fog-cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 60(1), pp. 103155, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Fabio Petroni, Samuel Broscheit, Aleksandra Piktus, Patrick S. H. Lewis, Gautier Izacard, Lucas Hosseini, Jane Dwivedi-Yu, Maria Lomeli, Timo Schick, Michele Bevilacqua, Pierre-Emmanuel Mazaré, Armand Joulin, Edouard Grave, Sebastian Riedel 0001 |
Improving Wikipedia verifiability with AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Mac. Intell. ![In: Nat. Mac. Intell. 5(10), pp. 1142-1148, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tzuo Hann Law, Selman Erol, Lewis Tseng |
Longest-chain Attacks: Difficulty Adjustment and Timestamp Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.15312, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Raymond Fok, Daniel S. Weld |
In Search of Verifiability: Explanations Rarely Enable Complementary Performance in AI-Advised Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.07722, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jan Willemson |
Analyzing and Improving Eligibility Verifiability of the Proposed Belgian Remote Voting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.09411, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Nai-Hui Chia, Honghao Fu, Fang Song 0001, Penghui Yao |
A Cryptographic Perspective on the Verifiability of Quantum Advantage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.14464, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Johannes Müller 0001, Tomasz Truderung |
A Protocol for Cast-as-Intended Verifiability with a Second Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.09456, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zhibo Xing, Zijian Zhang, Jiamou Liu, Ziang Zhang, Meng Li, Liehuang Zhu, Giovanni Russello |
Zero-knowledge Proof Meets Machine Learning in Verifiability: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.14848, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Kobi Feldman, Martin Kellogg, Oscar Chaparro |
On the Relationship between Code Verifiability and Understandability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.20160, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sallam Abualhaija, Fatma Basak Aydemir, Fabiano Dalpiaz, Davide Dell'Anna, Alessio Ferrari 0001, Xavier Franch, Davide Fucci |
Replication and Verifiability in Requirements Engineering: the NLP for RE Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.10265, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Nelson F. Liu, Tianyi Zhang, Percy Liang |
Evaluating Verifiability in Generative Search Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.09848, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Cong Yue, Meihui Zhang 0001, Changhao Zhu, Gang Chen 0001, Dumitrel Loghin, Beng Chin Ooi |
VeriBench: Analyzing the Performance of Database Systems with Verifiability. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 16(9), pp. 2145-2157, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jiayu Zhang |
Revisiting Remote State Preparation with Verifiability: A New Set of Notions with Well-behaved Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1490, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Yunjiao Song, Xinrui Ge, Jia Yu |
Privacy-preserving reachability query over graphs with result verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 127, pp. 103092, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Mahroo Bahreinian, Roberto Tron |
Localization Verifiability Under Outlier Measurements With Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 10(1), pp. 51-62, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tamara Finogina, Javier Herranz |
Coercion-Resistant Cast-as-Intended Verifiability for Computationally Limited Voters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FC Workshops ![In: Financial Cryptography and Data Security. FC 2023 International Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers, pp. 34-46, 2023, Springer, 978-3-031-48805-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Anggrio Sutopo, Thomas Haines, Peter B. Rønne |
On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FC Workshops ![In: Financial Cryptography and Data Security. FC 2023 International Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers, pp. 19-33, 2023, Springer, 978-3-031-48805-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Cristhian Martinez-Rendon, José Luis González 0002, Dante D. Sánchez-Gallegos, Jesús Carretero 0001 |
Blockchain-based schemes for continuous verifiability and traceability of IoT data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 31st Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2023, Naples, Italy, March 1-3, 2023, pp. 169-172, 2023, IEEE, 979-8-3503-3763-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tzuo Hann Law, Selman Erol, Lewis Tseng |
Poster: Timestamp Verifiability in Proof-of-Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the Twenty-fourth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing, MobiHoc 2023, Washington, DC, USA, October 23-26, 2023, pp. 304-305, 2023, ACM, 978-1-4503-9926-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001 |
Election Verifiability in Receipt-Free Voting Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 59-74, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Vincent Cheval, Véronique Cortier, Alexandre Debant |
Election Verifiability with ProVerif. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 43-58, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jan Willemson |
Analyzing and Improving Eligibility Verifiability of the Proposed Belgian Remote Voting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![In: Security and Trust Management - 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings, pp. 126-135, 2023, Springer, 978-3-031-47197-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Lukas Hondrich, Hannah Ruschemeier |
Addressing Automation Bias through Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWAF ![In: Proceedings of the 2nd European Workshop on Algorithmic Fairness, Winterthur, Switzerland, June 7th to 9th, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Kobi Feldman, Martin Kellogg, Oscar Chaparro |
On the Relationship between Code Verifiability and Understandability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 211-223, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Nelson F. Liu, Tianyi Zhang, Percy Liang |
Evaluating Verifiability in Generative Search Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2023, Singapore, December 6-10, 2023., pp. 7001-7025, 2023, Association for Computational Linguistics, 979-8-89176-061-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Christian Killer |
Privacy and Verifiability in Decentralized Electronic Voting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
19 | Mohamad Mansouri |
Performance and Verifiability of IoT Security Protocols. (Performance et vérifiabilité des protocoles de sécurité IoT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
19 | Sevdenur Baloglu |
Formal Verification of Verifiability in E-Voting Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
19 | Shuang Hu, Renjun Zhang, Fuqun Wang, Kefei Chen, Bin Lian, Gongliang Chen |
A sanitizable signcryption scheme with public verifiability via chameleon hash function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 71, pp. 103371, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Biwen Chen, Xue Li, Tao Xiang 0001, Peng Wang |
SBRAC: Blockchain-based sealed-bid auction with bidding price privacy and public verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 65, pp. 103082, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Ben Smyth, Michael R. Clarkson |
Surveying definitions of election verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 177, pp. 106267, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Liqiang Wu, Xiaoyuan Yang 0002, Minqing Zhang, Xu An Wang 0001 |
IB-VPRE: adaptively secure identity-based proxy re-encryption scheme from LWE with re-encryption verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Humaniz. Comput. ![In: J. Ambient Intell. Humaniz. Comput. 13(1), pp. 469-482, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Weiqi Dai, Shuyue Tuo, Liangliang Yu, Kim-Kwang Raymond Choo, Deqing Zou, Hai Jin 0001 |
HAPPS: A Hidden Attribute and Privilege-Protection Data-Sharing Scheme With Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 9(24), pp. 25538-25550, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Mahender Kumar, Satish Chand |
A Provable Secure and Lightweight Smart Healthcare Cyber-Physical System With Public Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Syst. J. ![In: IEEE Syst. J. 16(4), pp. 5501-5508, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Steven Umbrello, Roman V. Yampolskiy |
Designing AI for Explainability and Verifiability: A Value Sensitive Design Approach to Avoid Artificial Stupidity in Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Soc. Robotics ![In: Int. J. Soc. Robotics 14(2), pp. 313-322, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jiawen Xiong, Yong Shi 0010, Boyuan Chen 0002, Filipe Roseiro Côgo, Zhen Ming Jiang |
Towards Build Verifiability for Java-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.05906, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Dakota Wong, Austin Kothig, Patrick Lam 0001 |
Exploring the Verifiability of Code Generated by GitHub Copilot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.01766, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Ha-Thanh Nguyen |
Secrecy-Verifiability Paradox in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.01595, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Fabio Petroni, Samuel Broscheit, Aleksandra Piktus, Patrick S. H. Lewis, Gautier Izacard, Lucas Hosseini, Jane Dwivedi-Yu, Maria Lomeli, Timo Schick, Pierre-Emmanuel Mazaré, Armand Joulin, Edouard Grave, Sebastian Riedel 0001 |
Improving Wikipedia Verifiability with AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.06220, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Birgul Koc, Changhong Mou, Honghu Liu, Zhu Wang 0003, Gianluigi Rozza, Traian Iliescu |
Verifiability of the Data-Driven Variational Multiscale Reduced Order Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 93(2), pp. 54, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Li Duan, Yufan Jiang, Yong Li, Jörn Müller-Quade, Andy Rupp |
Security Against Honorific Adversaries: Efficient MPC with Server-aided Public Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 606, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Thomas Attema, Vincent Dunning, Maarten H. Everts, Peter Langenkamp |
Efficient Compiler to Covert Security with Public Verifiability for Honest Majority MPC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 454, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Nicholas Brandt, Dennis Hofheinz, Julia Kastner, Akin Ünal |
The Price of Verifiability: Lower Bounds for Verifiable Random Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 762, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Yi Liu 0053, Qi Wang 0012, Siu-Ming Yiu |
Towards Practical Homomorphic Time-Lock Puzzles: Applicability and Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 585, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Ben Smyth, Michael R. Clarkson |
Surveying definitions of election verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 305, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Enrique Larraia, Tamara Finogina, Núria Costa |
sVote with Control Components Voting Protocol. Computational Proof of Complete Verifiability and Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1509, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Peter Scholl, Mark Simkin 0001, Luisa Siniscalchi |
Multiparty Computation with Covert Security and Public Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 3rd Conference on Information-Theoretic Cryptography, ITC 2022, July 5-7, 2022, Cambridge, MA, USA., pp. 8:1-8:13, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-238-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Lorünser, Florian Wohner, Stephan Krenn |
A Privacy-Preserving Auction Platform with Public Verifiability for Smart Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISSP ![In: Proceedings of the 8th International Conference on Information Systems Security and Privacy, ICISSP 2022, Online Streaming, February 9-11, 2022., pp. 637-647, 2022, SCITEPRESS, 978-989-758-553-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 481 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|