Research output per year
Research output per year
Search results
-
2023
Symbolic Modelling of Remote Attestation Protocols for Device and App Integrity on Android
Aldoseri, A., Chothia, T., Moreira-Sanchez, J. & Oswald, D., 10 Jul 2023, ASIA CCS '23: Proceedings of the 2023 ACM on Asia Conference on Computer and Communications Security. Liu, J., Xiang, Y., Nepal, S. & Tsudik, G. (eds.). Association for Computing Machinery (ACM), p. 218–231 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile107 Downloads (Pure) -
2022
Protocols for a two-tiered trusted computing base
Moreira-Sanchez, J., Ryan, M. & Garcia, F., 24 Sept 2022, Computer Security – ESORICS 2022: 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III. Atluri, V., Di Pietro, R., D. Jensen, C. & Meng, W. (eds.). 1 ed. Cham: Springer, p. 229–249 21 p. (Lecture Notes in Computer Science; vol. 13556).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile24 Downloads (Pure) -
2021
Magnifying side-channel leakage of lattice-based cryptosystems with chosen ciphertexts: the case study of Kyber
Xu, Z., Pemberton, O. M., Roy, S. S., Oswald, D., Yao, W. & Zheng, Z., 27 Oct 2021, (E-pub ahead of print) In: IEEE Transactions on Computers. 14 p., 9591340.Research output: Contribution to journal › Article › peer-review
Open AccessFile235 Downloads (Pure) -
2020
Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble
Murdock, K., Oswald, D., Garcia, F., Van Bulck, J., Gruss, D. & Piessens, F., 1 Sept 2020, In: IEEE Security & Privacy Magazine. 18, 5, p. 28-37 9104908.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)396 Downloads (Pure)