Mike Hicks
@michael_w_hicks
Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
ID:1645028119
https://mhicks.me/ 04-08-2013 11:15:48
3,6K Tweets
4,7K Followers
494 Following
My on-line behavior says I've walked away already, but amplifying Emery Berger to encourage everyone else to do so.
Now I have to develop the habit of social media'ing somewhere else! See mhicks.me for coordinates
PL X: What's the best reference for the idea of a singleton type?
The earliest I can think of is this Stephanie Weirich paper from 1998, but it refers to singleton type without citation, as if the idea was already firmly part of the lexicon. dl.acm.org/doi/pdf/10.114…
Celebrate 50 golden years with Univ. of Maryland's Department of Computer Science! Join us for an eventful anniversary celebration with panel discussions, interactive activities, 50th social and much more.
Register now:
50.cs.umd.edu
Three great PhDs from my group this year:
Drew Zagieboylo 'Language-based techniques for building timing channel secure hardware–software systems'
Josh Acay, 'Provably correct compilation for distributed cryptographic applications'
Rolph Recto, 'Compilers for secure computation'
Blog post on the Amazon Web Services security blog from Emina Torlak on how we designed the Cedar authorization language to be fast, safe, and intuitive to use. aws.amazon.com/blogs/security…
🚀Big outcomes start with a good strategy. Today we welcome Cybersecurity and Infrastructure Security Agency's Cybersecurity Strategic Plan, which includes three pillars:
- Goal 1: Address Immediate Threats
- Goal 2: Harden the Terrain
- Goal 3: Drive Security at Scale
Learn more: go.dhs.gov/oop
Proud of you, Nate Foster (@[email protected]) ! This is due recognition for your interesting, inspiring, and impactful work.
Catch our livestream today on open source security featuring David Nalley and a demo of the Cedar policy language from Mike Hicks w/ AWSonAir at 12:30 p.m. Pacific on Twitch! Bring your Q's and learn about one of our latest #opensource projects. go.aws/3XtZDA9
Catch our livestream today on open source security featuring David Nalley and a demo of the Cedar policy language from Mike Hicks w/ AWSonAir at 12:30 p.m. Pacific on Twitch! Bring your Q's and learn about one of our latest #opensource projects. go.aws/3XtZDA9
Tune in to AWS On Air around 1pm PT Friday and learn about Amazon Web Services investment in Open Source security features, and in Cedar in particular!
I’ll be there with Dave Nally, and I will give a Cedar demo. The whole thing starts at 12pm PT. aws.amazon.com/developer/comm…
That’s a wrap! Two talks today on Cedar at Amazon Web Services re:Inforce, one with Emina Torlak, and the other with Emina, Darin McAdams, and Kevin Hakanson. Great questions and feedback! So fun.