Research in hardware/software security & safety, embedded systems, sustainability, formal stuff. Democracy and climate justice. Immigrant. Uncooperative crusty.

Leuven, Belgium
Joined February 2013
Folks, where can I learn to twerk? #twerkbooty This is a semi-serious request for a semi-serious action idea.
0
0
0
1
GIF
At @DistriNet/@KU_Leuven, #Belgium, we have an open #postdoc position in "Safe and Dependable Autonomous Systems". Great team, free coffee, lots of #safety with a bit of #security. Be in touch if you want to know more. Job description and application form: kuleuven.be/personeel/jobsit…
2
5
0
8
Show this thread
This is most likely the first time I hear a legal scholar explaining memory safety to me. @IvoEmanuilov of @CiTiP_KULeuven speaking about "Hypocrite Commits" at #CIFSeminarsKUL right now. Awesome.
1
0
3
10
Replying to @LilithWittmann
War da nicht auch irgendwas mit gefaehrlichem Linksrutsch?
1
0
0
4
which combine cloud processing, mobile and edge devices, and lightweight sensing and actuation." Comes with cool conceptual use case around secure and dependable #GreenhouseAutomation #SmartFarming #PrecisionFarming #IoT with very light-weight in-field equipment. (3/5)
1
0
0
0
Show this thread
We also have a work-in-progress poster and demo at CCS 2021: "An Open-Source Framework for developing Heterogeneous Distributed Enclave Applications." With Gianluca Scopelliti, @sepideh89310185, Job Noorman, @FritzAlder, and Frank Piessens @DistriNet. (1/5)
2
1
1
3
Show this thread
Our CCS 2021 paper "Aion: : Enabling Open Systems through Strong Availability Guarantees for Enclaves" is online. With @FritzAlder, @jovanbulck, Frank Piessens, @DistriNet. Aion extends a light-weight TEE towards a configurable security architecture that provides a notion of 1/6
2
7
2
23
guaranteed real-time execution for dynamically loaded enclaves. On top of basic TEE security guarantees, this requires bounded atomicity, which we implement on top of #Sancus with an exception engine and atomicity monitor in hardware, which interact with 2/6
1
0
0
0
The caterpillar of Papilio machaon, the swallowtail (on dill). I used to see them every year in our garden when I was a child.
0
1
0
2
Alpine newt (Ichthyosaura alpestris) on asphalt.
0
0
1
0
Biking infrastructure in #Leuven, #Belgium, and how it is used, @David_Dessers:
1
0
0
2
Show this thread
Twelve peacocks (Aglais io) on our balcony this morning :-)
0
0
1
3
Herbert Grönemeyer bringt das #Bratwurst-Problem mit der #CDU auf den Punkt: "Wir bruachen [...] keine politisch sedierende Selbstgefaelligkeit, keine Saturiertheit und kein Weiterduempeln und -wursteln." redirect.invidious.io/watch?v=6yaA7lIw…
1
0
0
2
It's almost weekend and we all need something to relax and calm down a bit. Here's my attempt at non-dystopic #ClimateFiction: Lizards 🦎🦎🦎 beetzsee.de/posts/2021/09/16…
1
0
0
0
Show this thread
Conspiracy! For several days already, every evening! The woodlice on our balcony meet in conspirative groups, stick their heads together and plot who knows what. Will they eat my cucumbers or will they bring down the fossil fuel industry and growth-based economics altogether?
1
0
0
4
Here is the recording of @HansWinderix presenting our @IEEEEUROSP #EuroSP21 paper "Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks" redirect.invidious.io/watch?v=L_OzePNK…
1
3
1
4
Show this thread
On Friday, @HansWinderix @DistriNet will present our work on "Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks" at @IEEEEUROSP. Key insight: To protect code on embedded TEEs against side-channel leakage, balancing secret- /1
1
1
0
5
dependent branches can yield more efficient code than following the constant-time paradigm. We have implemented and evaluated this with an automated hardening pass in the #LLVM backend for #Sancus. The technique should also be applicable for, e.g., light-weight #ARM TEEs. /2
1
0
0
0
Genau, und richtige Maenner sind die ja alle auch nicht, hab ich letztens gehoert.
0
0
0
0
GIF