Floating-Point Symbolic Execution: A Case Study in N-Version Programming

Publications

Year:

All :: 1996, ... , 2016, 2017, 2018, ... , 2023

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

79.	Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, and Klaus Wehrle Floating-Point Symbolic Execution: A Case Study in N-Version Programming Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering October 2017 ISBN: 978-1-5386-2684-9/17
78.	Andriy Panchenko, Asya Mitseva, Martin Henze, Fabian Lanze, Klaus Wehrle, and Thomas Engel Analysis of Fingerprinting Techniques for Tor Hidden Services Proceedings of the 16th Workshop on Privacy in the Electronic Society (WPES), co-located with the 24th ACM Conference on Computer and Communications Security (CCS), Dallas, TX, USA Publisher: ACM, October 2017 DOI: 10.1145/3139550.3139564 ISBN: 978-1-4503-5175-1
77.	Roman Matzutt, Dirk Müllmann, Eva-Maria Zeissig, Christiane Horst, Kai Kasugai, Sean Lidynia, Simon Wieninger, Jan Henrik Ziegeldorf, Gerhard Gudergan, Indra Spiecker gen. Döhmann, Klaus Wehrle, and Martina Ziefle myneData: Towards a Trusted and User-controlled Ecosystem for Sharing Personal Data In Eibl, Maximilian and Gaedke, Martin, editor,INFORMATIK 2017, page 1073-1084. Publisher: Gesellschaft für Informatik, Bonn, 2017 DOI: 10.18420/in2017_109 ISBN: 978-3-88579-669-5 https://www.comsys.rwth-a...mynedata-presentation.pdf

Export as: