Otsing - TalTech teadusportaal

kuva

reasta

76

artikkel ajakirjas EST / artikkel ajakirjas ENG

Proving vote correctness in the IVXV internet voting systemKraavi, Taaniel; Willemson, JanScientific Reports2025 / art. 31793 https://doi.org/10.1038/s41598-025-16764-1

artikkel ajakirjas EST / artikkel ajakirjas ENG

77

artikkel kogumikus

Reflection, rewinding, and coin-toss in EasyCryptFirsov, Denis; Unruh, DominiqueCPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 20222022 / p. 166-179 https://doi.org/10.1145/3497775.3503693

artikkel kogumikus

78

artikkel ajakirjas

Salastus avatud süsteemidesPraust, ValdoArvutimaailm1997 / 8, lk. 47-48

artikkel ajakirjas

79

artikkel kogumikus EST / artikkel kogumikus ENG

Security proofs for hash tree time-stamping using hash functions with small output sizeBuldas, Ahto; Laanoja, RistoInformation security and privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013 : proceedings2013 / p. 235-250 : ill https://doi.org/10.1007/978-3-642-39059-3_16 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

80

dissertatsioon

Security protocols analysis in the computational model - dependency flow graphs-based approach = Turvaprotokollide analüüs arvutuslikul mudelil - sõltuvusgraafidel põhinev lähenemisviisTšahhirov, Ilja2008 https://www.ester.ee/record=b2449152*est

dissertatsioon

81

artikkel kogumikus EST / artikkel kogumikus ENG

Server-supported decryption for mobile devicesKirss, Johanna Maria; Laud, Peeter; Snetkov, Nikita; Vakarjuk, JelizavetaSecurity and Trust Management : 18th International Workshop, STM 2022 Copenhagen, Denmark, September 29, 2022 : proceedings2023 / p. 71-81 https://doi.org/10.1007/978-3-031-29504-1_4 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

82

artikkel kogumikus EST / artikkel kogumikus ENG

Server-supported RSA signatures for mobile devicesBuldas, Ahto; Kalu, Aivo; Laud, Peeter; Oruaas, MartComputer Security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11–15, 2017 : proceedings, part I2017 / p. 315-333 : ill https://doi.org/10.1007/978-3-319-66402-6_19 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

83

artikkel ajakirjas

Song, Wei; Zheng, Yu; Fu, Chong; Shan, Pufang. A novel batch image encryption algorithm using parallel computing : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://www.zbmath.org/?q=an:07333047

artikkel ajakirjas

84

artikkel ajakirjas EST / artikkel ajakirjas ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

85

artikkel ajakirjas

A systematic study of lattice-based NIST PQC algorithms : from reference implementations to hardware acceleratorsImran, Malik; Abideen, Zain Ul; Pagliarini, Samuel NascimentoarXiv.org2020 / 36 p. : ill

artikkel ajakirjas

86

artikkel ajakirjas

Zarebnia, M.; Parvaz, R. Image encryption algorithm by fractional based chaotic system and framelet transformHenno, JaakzbMATH Open2022 / 1 p. https://zbmath.org/07577308

artikkel ajakirjas

87

artikkel kogumikus

Zero-knowledge in EasyCryptFirsov, Denis; Unruh, Dominique2023 IEEE 36th Computer Security Foundations Symposium : CSF 2023 : proceedings2023 / 16 p. https://doi.org/10.1109/CSF57540.2023.00015

artikkel kogumikus

88

artikkel ajakirjas

Zheng, Zhiyong; Tian, Kun; Liu, Fengxia. Modern cryptography. Volume 2. A classical introduction to informational and mathematical principle : [review]Henno, JaakZentralblatt MATH2023 / 1 p. https://zbmath.org/1520.94001

artikkel ajakirjas

89

artikkel kogumikus

Technological sovereignty : missing the point?Maurer, Tim; Skierka-Canton, Isabel; Morgus, Robert; Hohmann, Mirko2015 7th International Conference on Cyber Conflict : Architectures in Cyberspace : 26-29 May 2015, Tallinn, Estonia2015 / p. 53-67

artikkel kogumikus

Seotud publikatsioonid 1

Securing digital government : towards governance mechanisms for e-state resilience = Digitaalse valitsuse turvalisus : valitsemismehhanismid e-riigi vastupidavuse tagamiseks

90

artikkel ajakirjas EST / artikkel ajakirjas ENG

TOPCOAT: towards practical two-party Crystals-DilithiumSnetkov, Nikita; Vakarjuk, Jelizaveta; Laud, PeeterDiscover computing2024 / art. 18, 31 p. https://doi.org/10.1007/s10791-024-09449-2 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

91

artikkel ajakirjas

Turvalisust tagav liitKrustok, JüriTehnikamaailm2003 / 11, lk. 86-88 https://artiklid.elnet.ee/record=b1043973*est

artikkel ajakirjas

92

artikkel ajakirjas

Tänapäeva krüptoloogia : meetodid ja standardidPraust, ValdoArvutimaailm1994 / 6, lk. 46-48

artikkel ajakirjas

93

artikkel kogumikus EST / artikkel kogumikus ENG

Unsatisfiability of comparison-based non-malleability for commitmentsFirsov, Denis; Laur, Sven; Zhuchko, EkaterinaTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 188–194 https://doi.org/10.1007/978-3-031-17715-6_13 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

94

artikkel kogumikus EST / artikkel kogumikus ENG

Using games to understand and create randomnessHenno, Jaak; Jaakkola, Hannu; Mäkelainen, JukkaProceedings of the SQAMIA 2018: 7th Workshop of Software Quality, Analysis, Monitoring, Improvement, and Applications, Novi Sad, Serbia, 27-30. August 20182018 https://www.scopus.com/record/display.uri?eid=2-s2.0-85054376554&origin=inward&txGid=738e163a0c73e3a2a124039455cafce7 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

95

artikkel kogumikus

Verified multiple-time signature scheme from one-time signatures and timestampingFirsov, Denis; Lakk, Henri; Truu, Ahto2021 IEEE 34th Computer Security Foundations Symposium (CSF)2021 / 13 p https://doi.org/10.1109/CSF51468.2021.00051

artikkel kogumikus

96

artikkel kogumikus

Verified security of BLT signature schemeFirsov, Denis; Buldas, Ahto; Truu, Ahto; Laanoja, RistoCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 244-257 https://doi.org/10.1145/3372885.3373828

artikkel kogumikus

97

artikkel ajakirjas

Why quantum state verification cannot be both efficient and secure : a categorical approachWiesner, Fabian; Chaoui, Ziad; Kessler, Diana-Maria; Pappa, Anna; Karvonen, MarttiarXiv.org2024 / 36 p https://doi.org/10.48550/arXiv.2411.04767

artikkel ajakirjas

Seotud publikatsioonid 1

Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid

98

artikkel ajakirjas

Wireless PKI security and mobile votingTepandi, Jaak; Vassiljev, Stanislav; Tšahhirov, IljaComputer2010 / 6, p. 54-60 https://www.computer.org/csdl/magazine/co/2010/06/mco2010060054/13rRUILLkGV

artikkel ajakirjas

99

artikkel ajakirjas

Äsjailmunud turbetehnoloogia raamatust : [Infosüsteemide turve, 2. osa, Turbetehnoloogia, Tallinn, 1998]Praust, ValdoArvutimaailm1999 / 2, lk. 38-39

artikkel ajakirjas

krüptograafia (märksõna)

teaviku laadid

märksõna 1