The post Call for abstracts for 13 July CSF workshop appeared first on CryptoForma.

CryptoForma workshop on

Security Protocols, Cryptography and Formal Methods

co-located with CSF in Verona, 13 July 2015.

Since the 1990s, formal methods have been successfully applied to the modelling and verification of security protocols at a high level of abstraction. However, modern cryptographic protocols contain probabilistic and complexity theoretic aspects which require an extended set of abstractions. Several approaches for dealing with this have appeared since, including but not limited to: automated proof-checking; compositional techniques; higher level proof structures; abstractions of computational models; and specialised logics.

The CryptoForma network (cryptoforma.org.uk) brings together UK and international researchers working in these areas, including experts on cryptography, on formal methods, and on their interconnection, both from academia and from industry.
The network organises international workshops (without formal proceedings) which have attracted speakers and audience from many countries. The first of these was co-located with the PKC conference in Paris in May 2010 (https://cryptoforma.org.uk/event/first-cryptoforma-workshop-paris/). The second workshop was co-located with FM 2011 at Limerick (https://cryptoforma.org.uk/event/workshop-2011-programme/). The third workshop was co-located with ESORICS at Royal Holloway. The next edition will be co-located with CSF in Verona and aims to reach out to the community around formal approaches to modelling, analysis and verification of security protocols and cryptography.

Submissions for the workshop will be abstracts of 1-4 pages, to be reviewed for relevance to the themes mentioned above only. However, it will also start off a process of developing a second CryptoForma themed special issue of the Formal Aspects of Computing journal (see the first such issue).

Important dates:

12 June 12:00 noon UK time  Abstracts due

11 June 2015 Notification of acceptance for workshop

14 June 2015 CSF and workshops early registration closes

13 July 2015 Workshop

Submissions to be made on EasyChair: https://easychair.org/conferences/?conf=cryptoforma15.
Abstracts can be up to 4 pages, and need to be typeset using the standard llncs.cls to allow us to produce collated abstracts for conference attendees (see http://www.springer.com/computer/lncs/lncs+authors).

Workshop website: https://cryptoforma.org.uk/event/4thworkshopcsf/

Program committee

• Benjamin Aziz, University of Portsmouth, UK
• Eerke Boiten, University of Kent, UK (chair)
• Liqun Chen, HP Labs, UK
• Pooyah Farshim, Queen’s University of Belfast, UK
• Cedric Fournet, Microsoft Research, France/UK
• Gurchetan Grewal, University of Birmingham, UK
• Jens Groth, University College London, UK
• Joshua Guttman, Worcester Polytechnic Institute, US
• Steve Kremer, INRIA Nancy & LORIA, France
• Annabelle McIver, Macquarie University, Australia
• Kenny Paterson, Royal Holloway University of London, UK
• Eike Ritter, University of Birmingham, UK
• Graham Steel, Cryptosense, France

The post Call for abstracts for 13 July CSF workshop appeared first on CryptoForma.

The post Next meeting: 4 June, Belfast appeared first on CryptoForma.

The post Next meeting: 4 June, Belfast appeared first on CryptoForma.

The post Meeting at Kent, 15 January: Programme appeared first on CryptoForma.

• 10:30 Opening
• 10:35 Tom Chothia (with Flavio Garcia), Birmingham: A Lightweight Distance-Bounding Contactless EMV Payment Protocol
• (Andriana Gkaniatsou ill so her talk unfortunately cancelled)
• 11:00 Pooya Farshim, QU Belfast: Random Oracles and Obfuscation
• 11:30 Coffee
• 11:45 Changyu Dong, Strathclyde: protocols based on Fully Homomorphic Encryption
• 12:00 Kenny Paterson, RHUL: Attacks can only get better (on attacks against RC4 in TLS)
• 12:50 Lunch
• 14:00 Jaime Gaspar, Kent: One-way function compositions
• 14:25 Patrick McCorry, Newcastle: how Bitcoin can be used for a command & control centre for botnets
• 14:50 Jan de Muijnck-Hughes, St Andrews: Using Dependent Types to Specify, Implement, and Reason on Communication Protocols
• 15:15 Stathis Stathakidis talk cancelled, update to follow
• 15:40 Tea
• 16:00 Discussion
• 16:25 Douglas Stebila, Queensland University of Technology
• 16:55 Matthijs Melissen, Birmingham: Formally defining accountability
• 17:20 End

The post Meeting at Kent, 15 January: Programme appeared first on CryptoForma.

The post Meeting at UCL, 16 September 2014 appeared first on CryptoForma.

Full information and registration now via this link

The post Meeting at UCL, 16 September 2014 appeared first on CryptoForma.

The post Meeting at York, 28 May 2014 appeared first on CryptoForma.

The post Meeting at York, 28 May 2014 appeared first on CryptoForma.

The post 15 January event: Cedric Fournet 6pm + CryptoForma from 2pm appeared first on CryptoForma.

14:00 Steve Schneider (Surrey) “Design and formal verification of a robust web bulletin board”
14:45 Sergui Bursuc (Bristol) “Formal multi-party computation”
(15:15 break)
15:45 Eike Ritter (Birmingham) “Privacy through Pseudonomity in Mobile Telephone Systems”
16:30 Eerke Boiten (Kent) “Modelling scratch cards in Z”
(17:15 break)
18:00 Cedric Fournet (MSR/INRIA) “Implementing TLS with Verified Cryptographic Security”
(19:00 end)

The post 15 January event: Cedric Fournet 6pm + CryptoForma from 2pm appeared first on CryptoForma.

The post Open Letter from UK Security Researchers appeared first on CryptoForma.

Dear Reader,

The first set of publications based on Edward Snowden’s files were concerned with surveillance of internet communication happening more indiscriminately and on a much larger scale than previously thought. The more recent publications, presenting the systematic undermining of cryptographic solutions and standards, are the cause of much more substantial worry. As some of the leading UK researchers in the field of cryptography and computer security we feel compelled to comment on the recent revelations.

The UK and US governments recently dramatically increased the funding available to various agencies to help protect our countries against Cyber Attack. Such attacks are now commonplace on both corporations, and individuals. We now all rely on cryptography to secure our mobile phones, credit cards, internet communications etc. and because of this we welcome the government’s prioritization of this area in an era of fiscal squeeze. As researchers in security we understand that the NSA and GCHQ are tasked with conducting operations for purposes of national security.

However, the documents released show that NSA and GCHQ worked to weaken international cryptographic standards, and to place “backdoors” into security products; such backdoors could of course be potentially exploited by others than the original creators. One of the prime missions of the security services is to protect citizens and corporations from Cyber Attack. By weakening cryptographic standards, in as yet undisclosed ways, and by inserting weaknesses into products which we all rely on to secure critical infrastructure, we believe that the agencies have been acting against the interests of the public that they are meant to serve. We find it shocking that agencies of both the US and UK governments now stand accused of undermining the systems which protect us. By weakening all our security so that they can listen in to the communications of our enemies, they also weaken our security against our potential enemies.

We call on the relevant parties to reveal what systems have been weakened so that they can be repaired, and to create a proper system of oversight with well-defined public rules that clearly forbid weakening the security of civilian systems and infrastructures. The statutory Intelligence and Security Committee of the House of Commons needs to investigate this issue as a matter of urgency. In the modern information age we all need to have complete trust in the basic infrastructure that we all use.

Yours

Prof. Kenneth Paterson,
Prof. Mark Ryan,
Prof. Peter Ryan,
Prof. Vladimiro Sassone,
Prof. Steve Schneider,
Prof. Nigel P. Smart,
Dr Eerke Boiten,
Dr George Danezis,
Dr Jens Groth,
Dr Feng Hao.

The post Open Letter from UK Security Researchers appeared first on CryptoForma.

The post CryptoForma@ESORICS: Steve Kremer invited talk & programme appeared first on CryptoForma.

The post CryptoForma@ESORICS: Steve Kremer invited talk & programme appeared first on CryptoForma.

The post Call for abstracts: 3rd CryptoForma workshop, 12 September 2013 appeared first on CryptoForma.

CryptoForma workshop on

Security Protocols, Cryptography and Formal Methods

co-located with ESORICS at Royal Holloway University of London, 12 September 2013.

Since the 1990s, formal methods have been successfully applied to the modelling and verification of security protocols at a high level of abstraction. However, modern cryptographic protocols contain probabilistic and complexity theoretic aspects which require an extended set of abstractions. Several approaches for dealing with this have appeared since, including but not limited to: automated proof-checking; compositional techniques; higher level proof structures; abstractions of computational models; and specialised logics.

The CryptoForma network (cryptoforma.org.uk) brings together UK and international researchers working in these areas, including experts on cryptography, on formal methods, and on their interconnection, both from academia and from industry.
The network organises international workshops (without formal proceedings) which have attracted speakers and audience from many countries. The first of these was co-located with the PKC conference in Paris in May 2010 (https://cryptoforma.org.uk/event/first-cryptoforma-workshop-paris/). The second workshop was co-located with FM 2011 at Limerick (https://cryptoforma.org.uk/event/workshop-2011-programme/). This third workshop is co-located with ESORICS at Royal Holloway, and aims to reach out to the community around formal approaches to modelling, analysis and verification of security protocols and cryptography.

Submissions for the workshop will be abstracts of 1-4 pages, to be reviewed for relevance to the themes mentioned above and for scientific quality. There will not be formal proceedings for this.

Important dates:

11 July 2013 Abstracts due
24 July 2013 Notification of acceptance for workshop
1 August 2013 ESORICS and workshops early registration closes
12(-13) September 2013 Workshop*
* aiming to use 13th in case of high attendance only.
Submissions to be made on EasyChair: http://www.easychair.org/conferences/?conf=cryptoforma2013.
Abstracts can be up to 4 pages, and need to be typeset using the standard llncs.cls to allow us to produce collated abstracts for conference attendees (see http://www.springer.com/computer/lncs/lncs+authors).

Workshop website: https://cryptoforma.org.uk/event/

Program committee

• Benjamin Aziz, University of Portsmouth, UK
• Karthikeyan Bhargavan, INRIA, France
• Eerke Boiten, University of Kent, UK (chair)
• Sergiu Bursuc, Centre for Secure Information Technologies, Queen’s University of Belfast, UK
• Vincent Cheval, School of Computer Science, University of Birmingham, UK
• Andrew D. Gordon, Microsoft Research and University of Edinburgh, UK
• Jens Groth, University College London, UK
• Joshua Guttman, Worcester Polytechnic Institute, US
• Feng Hao , University of Newcastle, UK
• Annabelle McIver, Macquarie University, Australia
• Dusko Pavlovic, Royal Holloway, UK
• Alfredo Pironti, INRIA, France
• Peter Y. A. Ryan, University of Luxembourg, Luxembourg
• Vladimiro Sassone, University of Southampton, UK
• Steve Schneider, University of Surrey, UK

The post Call for abstracts: 3rd CryptoForma workshop, 12 September 2013 appeared first on CryptoForma.

The post FOSAD 2013: deadline 20 June. appeared first on CryptoForma.

The post FOSAD 2013: deadline 20 June. appeared first on CryptoForma.