Aslan Askarov

[Aslan Askarov @aslanix]

To folks in the Copenhagen area, I’m visiting ITU CISAT this Friday (May 22) and will be talking about our PLDI 2026 work on the Downgrading Semantics of Memory Safety. The talk is at 12 – 13, in 3a08. The paper preprint is at https://t.co/g3hK0KTq85

[Aslan Askarov @aslanix]

Please share: We are looking for a new PhD student for the exciting project “Foundations of secure resource sharing” – read more here: https://t.co/WV1bawz8gB

[Toby Murray @tobycmurray]

What really happened at #CrowdStrike and why I think their proposed plan is totally inadequate and won't prevent future similar #outage. https://t.co/YPU7CXrbg1

I'd appreciate all feedback on this post. Please share if you like. cc @ciaranmartinoxf @thegrugq h/t @riskybusiness

[Meredith Whittaker @mer__edith]

📣Official statement: the new EU chat controls proposal for mass scanning is the same old surveillance with new branding.

Whether you call it a backdoor, a front door, or “upload moderation” it undermines encryption & creates significant vulnerabilities

https://t.co/g0xNNKqquA

[Aslan Askarov @aslanix]

@ilyasergey No

[Aslan Askarov @aslanix]

@crypto_carsten Just got a follow from you impersonator; is this a way for Twitter to increase verified accounts??

[Aslan Askarov @aslanix]

For now, we’re still in business…

[Andrew Myers @AndrewCMyers]

The Wheel of Computer Security
1. Cool new platform to deploy code on!
2. Oops, it's completely insecure.
3. Add isolation vs. untrusted data and code
4. Oops, we can't build apps.
5. Punch holes in the isolation boundary.
6. Oops, still insecure and apps are lame.
7. Go to #1.

[Mohammad Ahmadpanah @smahmadpanah]

The ChalmersGU-KTH-Aarhus CTF competition just kicked off! 🎉🎉

Stay tuned!

[Aslan Askarov @aslanix]

@andrewkhirsch @UBuffalo Congratulations!

[Aarhus Institute of Advanced Studies @AIAS_dk]

A reach-out to researchers in need in Ukraine. With a new fellowship programme - the AUFF-Ukraine research fellowships at AIAS @AarhusUni , researchers from a Ukrainian institution unable to continue their research are offered up to 12 months fellowships:
https://t.co/Y4Nmxw1cdc

[Aslan Askarov @aslanix]

@dfaranha Bookmarking this tweet. Will remind it to the students when they reach the Compilers class :)

[Aslan Askarov @aslanix]

@deiandelmars Congratulations!

[Aslan Askarov @aslanix]

@AndrzejWasowski I find Systematizaon of knowledge (SoK) papers in security venues quite valuable.

[Aslan Askarov @aslanix]

@musardballiu @KTHuniversity Congratulations Musard! Well-deserved!

[Niki Vazou @nikivazou]

We are forming the PLDI'22 Artifact Evaluation Committee!
Nominate yourself (https://t.co/dIKxdGqDwB) or someone else (https://t.co/CtmeNGyN2C).
For more details check our site: https://t.co/DEnZMCpLXk

[Aslan Askarov @aslanix]

@claudiorlandi GitHub pages***

[Aslan Askarov @aslanix]

@claudiorlandi GitHub legs is what we use these days. The content is still embedded via iframes so it’s convenient for the local students. My frustration with all the CMS we had is that they don’t provide any API to programmatically control the content.

[Aslan Askarov @aslanix]

@AndrewCMyers No. The CMS come and go and I feel that there is no easy way to persist the content for the future. So it’s now plain pages embedded via iframes into the CMS. We also have a home grown auto grader:/ What CMS don’t provide is API, which is exactly what’s needed at certain scale.

[Andrew Myers @AndrewCMyers]

The PRiSC (Principles of Secure Compilation) workshop colocated with POPL is looking for submissions. Deadline in 10 days. Always an interesting event!