How to Avoid Repetitions in Lattice-Based Deniable Zero-Knowledge Proofs
Arnal, Xavier, Cano, Abraham, Finogina, Tamara, Herranz, Javier
Published in Secure IT Systems (2023)
Published in Secure IT Systems (2023)
Get full text
Book Chapter
A Roadmap for Improving the Impact of Anti-ransomware Research
Pont, Jamie, Abu Oun, Osama, Brierley, Calvin, Arief, Budi, Hernandez-Castro, Julio
Published in Secure IT Systems (2019)
Published in Secure IT Systems (2019)
Get full text
Book Chapter
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code
Møller, Bjarke Hilmer, Søndergaard, Jacob Gosch, Jensen, Kristoffer Skagbæk, Pedersen, Magnus Winkel, Bøgedal, Tobias Worm, Christensen, Anton, Poulsen, Danny Bøgsted, Larsen, Kim Guldstrand, Hansen, René Rydhof, Jensen, Thomas Rosted, Madsen, Heino Juvoll, Uhrenfeldt, Henrik
Published in Secure IT Systems (2021)
Published in Secure IT Systems (2021)
Get full text
Book Chapter