Category Archives: Uncategorized

STAST Call for papers

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

Posted in Uncategorized | Leave a comment

New Year papers

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

Posted in Uncategorized | Leave a comment

EPSRC First Grant

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.

Posted in Uncategorized | Leave a comment

Giuseppe Primiero talk in Groningen

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

Posted in Uncategorized | Leave a comment

Barnaby Martin Seminars at Birkbeck and Durham

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.

Posted in Uncategorized | Leave a comment

Catching Insiders by Externalizing Behaviour

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.

Posted in Uncategorized | Leave a comment

New paper accepted on typed lambda-calculus

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.

Posted in Uncategorized | Leave a comment

Are hidden friendships secure? New DPM (ESORICS) paper.

“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

Posted in Uncategorized | Leave a comment

Two papers accepted at IEEE SMC

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

Posted in Uncategorized | Leave a comment

Three papers on the Philosophy of Computing

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

Posted in Uncategorized | Leave a comment