having been raised by crusty linux laptops, i just can't use this OS in good conscious. I feel like a spineless class traitor every time i connect to a monitor or a bluetooth device on the first try
As @EuroSys_conf wraps up, we deeply thank the 64 volunteers that served in the AE committee.
Three were amazing and won the Distinguished Artifact Evaluator Award:
Andrés Sanchez (@andsanmar), Moritz Lumme (@m00wl), Konstantinos Papaioannou (@kon_papaioannou)
Congratulations 🥳
You found a classic stack-based buffer overflow, but you can't exploit it due to stack cookies. Fear not, we have the solution for you, in the post-Spectre era much more is possible: arxiv.org/pdf/2003.05503.pdf
Hey, gadget search using symbolic analysis of binaries is effective as shown by Atri Bhattacharyya from @HexHiveEPFL (@EPFL_en) in #RAID20.
Check their SpecROP paper to learn about Speculative Exploitation of ROP Chains usenix.org/conference/raid20…
The preview video for our paper "Spectector: Principled detection of speculative information flows" is finally out youtu.be/QMCUcFI2wTI
Talk on May 18 9:30AM PDT at @IEEESSP#SP20 😁
Joint work with @socialboris, @notjfmc, @andsanmar, and Jan Reineke
Hoy #DíaInternacionalDeLaMujer reivindicamos el decisivo papel de muchas mujeres en el ámbito de la informática y cuyo reconocimiento llegó tarde o nunca. Aquí nuestro pequeño granito de arena. Gracias a las alumnas y profesoras de @informaticaupm . #8M#DíaDeLaMujer#8Marzo
We use automata learning techniques and program synthesis to automatically infer cache replacement policies from real hardware.
CacheQuery: Learning Replacement Policies from Hardware Caches arxiv.org/abs/1912.09770@pganty@MarcoGuarnier1 @socialboris
Interested in working on fun systems security research problems? The #HexHive@ICepfl@EPFL_en is hiring! We do software security (sanitization, automated testing, mitigations) and hardware security (side channels, GPU, firmware). There's great (free) espresso and retro games!
Glad to announce that our paper "The Security Pitfalls of Memory Hierarchy Compression: New Side Channels and Attacks on Compressed Caches" has been accepted at @ASPLOSConf 2020. Joint work with Daniel Sánchez, @PoAnTsai and Christopher Fletcher
Existing software may be vulnerable to these side channel attacks with patterns commonly considered as secure, such as dropping all references to a memory location without overwriting its contents althought it won't be referenced again
I've worked in this project during my summer internship at the @MIT_CSAIL, knowing awesome people. I would want to thank everyone who has made possible to me to receive a grant from which this work results, specially people at @IMDEA_Software and @La_UPM
(1/4) Happy to announce that our paper on detecting speculative information flows has been accepted at @IEEESSP 2020. Paper and tool are available at spectector.github.io. Joint work @socialboris, @notjfmc, Jan Reineke, and @andsanmar. Main novelties in the next tweets!
These are the students who invited me to Madrid for a category theory sprint (5 lectures in 5 days seminars on selected papers). It was a wonderful week culminating in a feast in Segovia.