Current Trends and Solutions in Securing Automotive Software. - Alexander Much; Rudolf Grave; Robert Leibinger; Martin Böhner; Elisabeth Waitz (MILS, 2017)

Verifying Post-Quantum Signatures in 8 kB of RAM. - Ruben Gonzalez; Andreas Hülsing; Matthias J. Kannwischer; Juliane Krämer; Tanja Lange 001; Marc Stöttinger; Elisabeth Waitz; Thom Wiggers; Bo-Yin Yang (IACR Cryptol. ePrint Arch., 2021)