Willard Þór Rafnsson
5 posts
Willard Þór Rafnsson
@willardthor
My research: proving that software preserves the confidentiality of data. I build tools for this task, that scale to real programming languages and platforms.
เข้าร่วม Mayıs 2009
57 กำลังติดตาม35 ผู้ติดตาม
Willard Þór Rafnsson รีทวีตแล้ว
Up to 3 PhD student positions in Programming Languages and Systems for Security and Privacy (deadline: Jan 5) - welcome to apply and spread the word! chalmers.se/en/about-chalm…
English
Willard Þór Rafnsson รีทวีตแล้ว
The Max Planck Society (@maxplanckpress) is canceling its Elsevier subscriptions. The current agreement expires at the end of this month and will not be renewed.
mpdl.mpg.de/en/505
English
Willard Þór Rafnsson รีทวีตแล้ว
MADWEB #NDSS workshop deadline got extended to Dec21! Submit your best web security papers!
Alexandros Kapravelos@kapravel
Microsoft Edge will soon run on Chromium using Blink and V8. Does this make you MAD at the WEB? Submit your papers to MADWEB workshop, co-located with @NDSSSymposium The deadline is in two days! madweb.work
English
"I... live... again!". By borrowing a stale domain name from a friend, and setting up a postfix mail server to receive mail on a long-abandoned e-mail address of mine, I was finally able to reset the password on this Twitter account I snagged nearly 10 years ago. @myfirstTweet
English