|
| | Preview | Author(s) | Title | Type | Issue Date |
| 101 | | Bauer, Balthazar ; Fuchsbauer, Georg | Efficient Signatures on Randomizable Ciphertexts | Konferenzbeitrag Inproceedings  | 2020 |
| 102 | | Catalano, Dario ; Fuchsbauer, Georg ; Soleimanian, Azam | Double-Authentication-Preventing Signatures in the Standard Model | Konferenzbeitrag Inproceedings | 2020 |
| 103 | | Tikhomirov, Sergei ; Moreno-Sanchez, Pedro ; Maffei, Matteo | A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network | Konferenzbeitrag Inproceedings | 2020 |
| 104 | | Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus ; Maffei, Matteo | eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts | Konferenzbeitrag Inproceedings | 2020 |
| 105 | | Schneidewind, Clara ; Scherer, Markus ; Maffei, Matteo | The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts | Konferenzbeitrag Inproceedings | 2020 |
| 106 | | Somé, Dolière Francis ; Squarcina, Marco ; Calzavara, Stefano ; Maffei, Matteo | The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches in Progressive Web Applications | Präsentation Presentation | 2020 |
| 107 | | Saha, Aakanksha ; Denning, Tamara ; Srikumar, Vivek ; Kasera, Sneha Kumar | Secrets in Source Code: Reducing False Positives using Machine Learning | Konferenzbeitrag Inproceedings | 2020 |
| 108 | | Aumayr, Lukas ; Ersoy, Oğuzhan ; Erwig, Andreas ; Faust, Sebastian ; Hostáková, Kristina ; Maffei, Matteo ; Moreno-Sanchez, Pedro ; Riahi, Siavash | Generalized Bitcoin-Compatible Channels | Bericht Report | 2020 |
| 109 | | van Ede, Thijs ; Bortolameotti, Riccardo ; Continella, Andrea ; Ren, Jingjing ; Dubois, Daniel ; Lindorfer, Martina ; Choffnes, David ; van Steen, Maarten ; Peter, Andreas | FlowPrint: Semi-Supervised Mobile-App Fingerprinting on Encrypted Network Traffic | Konferenzbeitrag Inproceedings | 2020 |
| 110 | | Aghakhani, Hojjat ; Gritti, Fabio ; Mecca, Francesco ; Lindorfer, Martina ; Ortolani, Stefano ; Balzarotti, Davide ; Vigna, Giovanni ; Krügel, Christopher | When Malware is Packin' Heat; Limits of Machine Learning Classifiers Based on Static Analysis Features | Konferenzbeitrag Inproceedings | 2020 |
| 111 | | Andreeva, Elena ; Lallemand, Virginie ; Purnal, Antoon ; Reyhanitabar, Reza ; Roy, Arnab ; Vizár, Damian | Forkcipher: A New Primitive for Authenticated Encryption of Very Short Messages | Konferenzbeitrag Inproceedings | 2019 |
| 112 | | Sjösten, Alexander ; Van Acker, Steven ; Picazo-Sanchez, Pablo ; Sabelfeld, Andrei | Latex Gloves: Protecting Browser Extensions from Probing and Revelation Attacks | Konferenzbeitrag Inproceedings | 2019 |
| 113 | | Pietrzak, Krzysztof ; Walter, Michael ; Klein, Karen ; Kamath, Chethan ; Abusalah, Hamza | Reversible Proofs of Sequential Work | Konferenzbeitrag Inproceedings | 2019 |
| 114 | | Malavolta, Giulio ; Moreno-Sanchez, Pedro ; Schneidewind, Clara ; Kate, Aniket ; Maffei, Matteo | Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability | Konferenzbeitrag Inproceedings | 2019 |
| 115 | | Calzavara, Stefano ; Focardi, Riccardo ; Nemec, Matus ; Rabitti, Alvise ; Squarcina, Marco | Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem | Konferenzbeitrag Inproceedings | 2019 |
| 116 | | Lu, Donghang ; Moreno-Sanchez, Pedro ; Zeryihun, Amanuel ; Bajpayi, Shivam ; Yin, Sihao ; Feldman, Ken ; Kosofsky, Jason ; Mitra, Pramita ; Kate, Aniket | Reducing Automotive Counterfeiting usingBlockchain: Benefits and Challenges | Konferenzbeitrag Inproceedings | 2019 |
| 117 | | Ceragioli, Lorenzo ; Galletta, Letterio ; Tempesta, Mauro | From Firewalls to Functions and Back | Konferenzbeitrag Inproceedings | 2019 |
| 118 | | Egger, Christoph ; Moreno-Sanchez, Pedro ; Maffei, Matteo | Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks | Vortrag Presentation | 2019 |
| 119 | | Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo | Verifying Relational Properties using Trace Logic | Konferenzbeitrag Inproceedings | 2019 |
| 120 | | Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo | Trace Reasoning for Formal Verification using the First-Order Superposition Calculus | Präsentation Presentation | 2019 |
