4th Workshop on Socio-Technical Aspects in Security and Trust Vienna Technical University, Vienna, Austria Co-located with 27th IEEE Computer Security Foundations Symposium (CSF) in the Vienna Summer of Logic 2014
The whole group has behaved really well in 2013 and as a result Santa decided to bring us a number of gifts (in the form of accepted papers) in the past month. Three papers in ETAPS 2014: “Foundations for Decision … Continue reading
Barnaby Martin has been awarded an EPSRC First Grant worth £125k for “Infinite-domain Constraint Satisfaction Problems”. He will shortly be advertising for a year’s postdoctoral amanuensis.
Giuseppe Primiero will participate to a Workshop on Proof Theory to be held 3-5 December at the University of Groningen, the Netherlands. His talk will be on “Non-transitivity, security and genetical non-neutrality” and it is joint work with Franco Raimondi. … Continue reading
Barnaby Martin spoke at Birkbeck on 9th October and at Durham on 16th October. His topics were “An introduction to Proof Complexity: Gap theorems and Riis” and “Distance Constraint Satisfaction Problems”, respectively.
The paper Externalizing Behaviour for Analysing System Models by M. Georgieva Ivanova, C. W. Probst, R. R. Hansen, and Florian Kammeller is accepted at the 5th International Workshop on Managing Insider Security Threats.
The paper ‘J-Calc: a typed lambda-calculus for intuitionistic justification logic’ by K. Pouliasis and G. Primiero has been accepted for publication and is now forthcoming in Electornic Notes in Theoretical Computer Science.
“Privacy Analysis of a Hidden Friendship Protocol” by Florian Kammueller and Soeren Preibusch (Microsoft Research Cambridge) presents a privacy analysis with MCMAS of a FOAF (friend of a friend standard) protocol for facebook-like social networks. This paper has been accepted … Continue reading
The papers “Network Information Flow Control: Proof of Concept” by Alwaleed Algothami and Florian Kammueller and also “DNSsec in Isabelle – Replay Attack and Origin Authentication” by Florian Kammueller, Yoney Kirsal-Ever, and Xiaochun Cheng haven been accepted at the IEEE International Conference … Continue reading
Three papers by Giuseppe Primiero have appeared recently on topics in the area of the Philosophy of Computing: ”A Taxonomy of Errors for Information Systems” in Minds & Machines, http://link.springer.com/article/10.1007/s11023-013-9307-5 ”Miscomputation” (co-authored with Nir Fresco) in Philosophy & Technology, http://link.springer.com/article/10.1007/s13347-013-0112-0 … Continue reading