Travelled to:2 × USA
Collaborated with:S.Krishnamurthi J.G.Politz J.M.Walsh W.Zimrin K.Fisler
Talks about:progress (1) problem (1) permiss (1) analysi (1) system (1) static (1) social (1) reason (1) usabl (1) share (1)
Person: Hannah Quay-de la Vallee
DBLP: Vallee:Hannah_Quay=de_la
Contributed to:
20132012Wrote 2 papers:
- Onward-2013-ValleeWZFK #modelling #problem #reasoning #security
- Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems (HQdlV, JMW, WZ, KF, SK), pp. 1–16.
- Onward-2012-PolitzVK
- Progressive types (JGP, HQdlV, SK), pp. 55–66.