Search Publications

Show all

2022

Gondron, Sebastien; Moedersheim, Sebastian; Vigano, Luca

Privacy as Reachability Book Chapter

In: 35th IEEE Computer Security Foundations Symposium (CSF 2022), IEEE Computer Society Press, 2022.

Links | BibTeX | Tags: Formal Methods, Privacy

Williams, Jennifer; Yazdanpanah, Vahid; Stein, Sebastian

Safe Audio AI Services in Smart Buildings Inproceedings

In: Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, pp. 266–269, Association for Computing Machinery, Boston, Massachusetts, 2022, ISBN: 9781450398909.

Links | BibTeX | Tags: accessibility, Audio, occupancy, Privacy, smart buildings

2021

Zavvos, Efstathios; Gerding, Enrico; Yazdanpanah, Vahid; Maple, Carsten; Stein, Sebastian; m. c. schraefel,

Privacy and Trust in the Internet of Vehicles Journal Article

In: IEEE Transactions on Intelligent Transportation Systems, pp. 1-16, 2021.

Links | BibTeX | Tags: Connected vehicles, Internet of Vehicles, IoT, IoV, Privacy, Trust