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 Problems in Separation Logic with General Inductive Predicates” by Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max Kanovich and Joel Ouaknine.  to appear in FOSSACS 2014
  • On the correctness of a branch displacement algorithm” by Jaap Boender and Claudio Sacerdoti Coen, to appear in TACAS 2014
  • Verification of Concurrent Quantum Protocols by Equivalence Checking” by Ebrahim Ardeshir-Larijani, Simon Gay and Rajagopal Nagarajan. to appear in TACAS 2014.

Two items in ICSE 2014:

  • The paper “An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing” by Kelly Androutsopoulos, David Clark, Haitao Dan, Rob Heirons and Mark Harman
  • The tutorial “Modeling and Verification of Multi-agent Systems.”, by Neha Rungta and Franco Raimondi, technical briefing at ICSE 2014

And finally, one paper in AAMAS 2014:

  • “Model Checking Degrees of Belief in a System of Agents” by Giuseppe Primiero, Franco Raimondi and Neha Rungta, to appear in AAMAS 2014.
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.

https://sites.google.com/site/therootsofdeduction/events-and-announcements/workshop-proof-theory-and-philosophy

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 at the 8th International Workshop on Data Privacy Management DPM’13 (http://research.icbnet.ntua.gr/DPM2013/) taking place in September at Royal Holloway University London collocated with the 18th European Symposium on Research in Computer Security ESORICS (http://esorics2013.isg.rhul.ac.uk/).

Florian Kammueller visited DPM and presented the paper on the 13. September.

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 on Systems, Man, and Cybernetics, SMC (http://www.smc2013.org/) to take place from 13-16. October in Manchester UK.

Florian Kammueller visits the conference to present both papers.

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:

Posted in Uncategorized | Leave a comment