CryptoForma http://www.cryptoforma.org.uk The Next Generation of Abstractions. EPSRC Network of Excellence Fri, 03 Jul 2015 20:03:05 +0000 en-US hourly 1 http://wordpress.org/?v=4.2.2 Call for abstracts for 13 July CSF workshop http://www.cryptoforma.org.uk/2015/05/call-for-abstracts-for-13-july-csf-workshop/ http://www.cryptoforma.org.uk/2015/05/call-for-abstracts-for-13-july-csf-workshop/#comments Fri, 08 May 2015 12:46:48 +0000 http://www.cryptoforma.org.uk/?p=342 Call for abstracts: 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 […]

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

]]>
Call for abstracts:

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 (www.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 (http://www.cryptoforma.org.uk/event/first-cryptoforma-workshop-paris/). The second workshop was co-located with FM 2011 at Limerick (http://www.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: http://www.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.

]]>
http://www.cryptoforma.org.uk/2015/05/call-for-abstracts-for-13-july-csf-workshop/feed/ 0
Next meeting: 4 June, Belfast http://www.cryptoforma.org.uk/2015/04/next-meeting-4-june-belfast/ http://www.cryptoforma.org.uk/2015/04/next-meeting-4-june-belfast/#comments Thu, 02 Apr 2015 09:55:11 +0000 http://www.cryptoforma.org.uk/?p=337 Our next meeting will be on 4 June in Belfast. See http://www.cryptoforma.org.uk/event/belfast-meeting-4-june-2015/.

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

]]>
Our next meeting will be on 4 June in Belfast. See http://www.cryptoforma.org.uk/event/belfast-meeting-4-june-2015/.

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

]]>
http://www.cryptoforma.org.uk/2015/04/next-meeting-4-june-belfast/feed/ 0
Meeting at Kent, 15 January: Programme http://www.cryptoforma.org.uk/2014/12/meeting-kent-15-january/ http://www.cryptoforma.org.uk/2014/12/meeting-kent-15-january/#comments Tue, 09 Dec 2014 11:29:58 +0000 http://www.cryptoforma.org.uk/?p=317 The meeting will be in Darwin College, Lecture Theatre 2 (on your left right after entrance) on the Canterbury campus. See here for general maps and directions. Contact Eerke Boiten to join event or the research network. 10:30 Opening 10:35 Tom Chothia (with Flavio Garcia), Birmingham: A Lightweight Distance-Bounding Contactless EMV Payment Protocol (Andriana Gkaniatsou […]

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

]]>
The meeting will be in Darwin College, Lecture Theatre 2 (on your left right after entrance) on the Canterbury campus. See here for general maps and directions. Contact Eerke Boiten to join event or the research network.

  • 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.

]]>
http://www.cryptoforma.org.uk/2014/12/meeting-kent-15-january/feed/ 0
Meeting at UCL, 16 September 2014 http://www.cryptoforma.org.uk/2014/08/meeting-ucl-16-september-2014/ http://www.cryptoforma.org.uk/2014/08/meeting-ucl-16-september-2014/#comments Sun, 10 Aug 2014 13:08:00 +0000 http://www.cryptoforma.org.uk/?p=307 We will have a meeting at University College London on 16 September 2014. Full information and registration now via this link

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

]]>
We will have a meeting at University College London on 16 September 2014.

Full information and registration now via this link

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

]]>
http://www.cryptoforma.org.uk/2014/08/meeting-ucl-16-september-2014/feed/ 0
Meeting at York, 28 May 2014 http://www.cryptoforma.org.uk/2014/05/meeting-york-28-may-2014/ http://www.cryptoforma.org.uk/2014/05/meeting-york-28-may-2014/#comments Tue, 20 May 2014 22:55:16 +0000 http://www.cryptoforma.org.uk/?p=297 Starting at 10:00, probably ending before 17:30. See here for more info.

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

]]>
Starting at 10:00, probably ending before 17:30. See here for more info.

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

]]>
http://www.cryptoforma.org.uk/2014/05/meeting-york-28-may-2014/feed/ 0
15 January event: Cedric Fournet 6pm + CryptoForma from 2pm http://www.cryptoforma.org.uk/2014/01/15-january-event-cedric-fournet-6pm-cryptoforma/ http://www.cryptoforma.org.uk/2014/01/15-january-event-cedric-fournet-6pm-cryptoforma/#comments Tue, 07 Jan 2014 15:33:54 +0000 http://www.cryptoforma.org.uk/?p=265 Our next event: at BCS London, 6pm for the keynote and from 2pm an open CryptoForma workshop as follows (see event page for more info including slides): 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 […]

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

]]>
Our next event: at BCS London, 6pm for the keynote and from 2pm an open CryptoForma workshop as follows (see event page for more info including slides):

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.

]]>
http://www.cryptoforma.org.uk/2014/01/15-january-event-cedric-fournet-6pm-cryptoforma/feed/ 0
Open Letter from UK Security Researchers http://www.cryptoforma.org.uk/2013/09/open-letter-uk-security-researchers/ http://www.cryptoforma.org.uk/2013/09/open-letter-uk-security-researchers/#comments Mon, 16 Sep 2013 15:59:56 +0000 http://www.cryptoforma.org.uk/?p=253 [Note that this is not an official CryptoForma announcement, but you may recognise some of the names …] 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 […]

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

]]>
[Note that this is not an official CryptoForma announcement, but you may recognise some of the names …]

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.

]]>
http://www.cryptoforma.org.uk/2013/09/open-letter-uk-security-researchers/feed/ 0
CryptoForma@ESORICS: Steve Kremer invited talk & programme http://www.cryptoforma.org.uk/2013/07/cryptoformaesorics-steve-kremer-invited-talk-programme/ http://www.cryptoforma.org.uk/2013/07/cryptoformaesorics-steve-kremer-invited-talk-programme/#comments Sat, 27 Jul 2013 08:04:25 +0000 http://www.cryptoforma.org.uk/?p=249 The programme for the CryptoForma workshop at ESORICS is now known, see here. It includes an invited talk by Steve Kremer, INRIA Nancy.

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

]]>
The programme for the CryptoForma workshop at ESORICS is now known, see here. It includes an invited talk by Steve Kremer, INRIA Nancy.

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

]]>
http://www.cryptoforma.org.uk/2013/07/cryptoformaesorics-steve-kremer-invited-talk-programme/feed/ 0
Call for abstracts: 3rd CryptoForma workshop, 12 September 2013 http://www.cryptoforma.org.uk/2013/06/call-for-abstracts-3rd-cryptoforma-workshop-12-september-2013/ http://www.cryptoforma.org.uk/2013/06/call-for-abstracts-3rd-cryptoforma-workshop-12-september-2013/#comments Mon, 24 Jun 2013 21:58:50 +0000 http://www.cryptoforma.org.uk/?p=236 Call for abstracts: 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 […]

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

]]>
Call for abstracts:

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 (www.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 (http://www.cryptoforma.org.uk/event/first-cryptoforma-workshop-paris/). The second workshop was co-located with FM 2011 at Limerick (http://www.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: http://www.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.

]]>
http://www.cryptoforma.org.uk/2013/06/call-for-abstracts-3rd-cryptoforma-workshop-12-september-2013/feed/ 0
FOSAD 2013: deadline 20 June. http://www.cryptoforma.org.uk/2013/06/fosad-2013-deadline-20-june/ http://www.cryptoforma.org.uk/2013/06/fosad-2013-deadline-20-june/#comments Wed, 05 Jun 2013 14:42:54 +0000 http://www.cryptoforma.org.uk/?p=223 CryptoForma will be sponsoring two speakers (Bogdan Warinschi and Kenny Paterson) and 8 attendees at the next FOSAD summer school, see http://www.sti.uniurb.it/events/fosad13/. Deadline for CryptoForma sponsorship is now closed, but FOSAD registration is open until 20 June.

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

]]>
CryptoForma will be sponsoring two speakers (Bogdan Warinschi and Kenny Paterson) and 8 attendees at the next FOSAD summer school, see http://www.sti.uniurb.it/events/fosad13/. Deadline for CryptoForma sponsorship is now closed, but FOSAD registration is open until 20 June.

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

]]>
http://www.cryptoforma.org.uk/2013/06/fosad-2013-deadline-20-june/feed/ 0