This isn't the description you're looking for...
- Tweets 171
- Following 375
- Followers 187
- Likes 1,183
Andrés Sánchez retweeted
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
133
304
12,219
665,455
Andrés Sánchez retweeted
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 🥳
4
12
4,178
Andrés Sánchez retweeted
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
8
122
400
Andrés Sánchez retweeted
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…
1
4
14
Andrés Sánchez retweeted
The preview video for our paper "Spectector: Principled detection of speculative information flows" is finally out piped.video/QMCUcFI2wTI
Talk on May 18 9:30AM PDT at @IEEESSP #SP20 😁
Joint work with @socialboris, @notjfmc, @andsanmar, and Jan Reineke
1
8
23
Andrés Sánchez retweeted
🎥@MarcoGuarnier1 talks about #SPECTECTOR, an automated technique for determining whether programs are vulnerable to a specific class of micro-arquitectural attacks called speculative execution attacks. piped.video/watch?v=bEIrX1…
👥 @socialboris, @notjfmc, @andsanmar, Jan Reineke
5
10
One of the positive factors of attending recorded sessions (lectures, conference talks...) is that you can speed them up if needed 😁
4
Andrés Sánchez retweeted
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
4
96
142
Andrés Sánchez retweeted
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
3
27
74
Andrés Sánchez retweeted
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!
2
17
50
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
2
5
17
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
1
2
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
3
5
Andrés Sánchez retweeted
(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!
1
16
53
