CryptoForma http://www.cryptoforma.org.uk The Next Generation of Abstractions. EPSRC Network of Excellence Thu, 18 Apr 2013 10:10:10 +0000 en-US hourly 1 http://wordpress.org/?v=3.5.1 Next meeting: April 15/16, Microsoft Research, Cambridge http://www.cryptoforma.org.uk/2013/01/next-meeting-april-1516-microsoft-research-cambridge/ http://www.cryptoforma.org.uk/2013/01/next-meeting-april-1516-microsoft-research-cambridge/#comments Mon, 07 Jan 2013 09:34:09 +0000 Eerke http://www.cryptoforma.org.uk/?p=174 The next meeting has been agreed for 15 and 16 April 2013, at Microsoft Research. Cambridge. Local organiser is Markulf Kohlweiss. Please see here for more information.

The post Next meeting: April 15/16, Microsoft Research, Cambridge appeared first on CryptoForma.

]]> The next meeting has been agreed for 15 and 16 April 2013, at Microsoft Research. Cambridge. Local organiser is Markulf Kohlweiss. Please see here for more information.

The post Next meeting: April 15/16, Microsoft Research, Cambridge appeared first on CryptoForma.

]]> http://www.cryptoforma.org.uk/2013/01/next-meeting-april-1516-microsoft-research-cambridge/feed/ 0 Final program meeting at Surrey Thu 29 Nov 2012. http://www.cryptoforma.org.uk/2012/11/final-program-meeting-at-surrey-thu-29-nov-2012/ http://www.cryptoforma.org.uk/2012/11/final-program-meeting-at-surrey-thu-29-nov-2012/#comments Tue, 27 Nov 2012 11:18:53 +0000 Eerke http://www.cryptoforma.org.uk/?p=165 The final program for the meeting at Surrey, Thursday 29 November 2012, is now available here.

The post Final program meeting at Surrey Thu 29 Nov 2012. appeared first on CryptoForma.

]]> The final program for the meeting at Surrey, Thursday 29 November 2012, is now available here.

The post Final program meeting at Surrey Thu 29 Nov 2012. appeared first on CryptoForma.

]]> http://www.cryptoforma.org.uk/2012/11/final-program-meeting-at-surrey-thu-29-nov-2012/feed/ 0 Draft program for 29 November meeting at Surrey now available. http://www.cryptoforma.org.uk/2012/11/draft-program-for-29-november-meeting-at-surrey-now-available/ http://www.cryptoforma.org.uk/2012/11/draft-program-for-29-november-meeting-at-surrey-now-available/#comments Wed, 07 Nov 2012 13:03:16 +0000 Eerke http://www.cryptoforma.org.uk/?p=161 The draft programme for the 29 November meeting at Surrey is now available, see here. Upcoming events planned for 2013: a meeting hosted by MSR Cambridge, and a joint meeting with BCS-FACS at BCS in London.

The post Draft program for 29 November meeting at Surrey now available. appeared first on CryptoForma.

]]> The draft programme for the 29 November meeting at Surrey is now available, see here.

Upcoming events planned for 2013: a meeting hosted by MSR Cambridge, and a joint meeting with BCS-FACS at BCS in London.

The post Draft program for 29 November meeting at Surrey now available. appeared first on CryptoForma.

]]> http://www.cryptoforma.org.uk/2012/11/draft-program-for-29-november-meeting-at-surrey-now-available/feed/ 0 FOSAD 2012: a success, and more to follow http://www.cryptoforma.org.uk/2012/09/fosad-2012-a-success-and-more-to-follow/ http://www.cryptoforma.org.uk/2012/09/fosad-2012-a-success-and-more-to-follow/#comments Mon, 17 Sep 2012 20:35:52 +0000 Eerke http://www.cryptoforma.org.uk/?p=123 The FOSAD 2012 summer school, with contributions from CryptoForma and the EU network Nessos, was a great success. There were some 40 participants, including 15 sponsored by CryptoForma, listening to excellent talks by CryptoForma sponsored speakers Phil Rogaway, Karthik Bhargavan, and Mark Ryan. Other speakers fitted very well within the CryptoForma theme, such as our [...]

The post FOSAD 2012: a success, and more to follow appeared first on CryptoForma.

]]> The FOSAD 2012 summer school, with contributions from CryptoForma and the EU network Nessos, was a great success. There were some 40 participants, including 15 sponsored by CryptoForma, listening to excellent talks by CryptoForma sponsored speakers Phil Rogaway, Karthik Bhargavan, and Mark Ryan. Other speakers fitted very well within the CryptoForma theme, such as our former member (now back in Germany) Jan Jurjens, Martin Abadi, and Bart Preneel. The FOSAD organisers (Fabio Martinelli now taking over from Roberto Gorrieri) were very pleased with the collaboration, and have invited CryptoForma to continue being part of FOSAD, which we will certainly do.

The post FOSAD 2012: a success, and more to follow appeared first on CryptoForma.

]]> http://www.cryptoforma.org.uk/2012/09/fosad-2012-a-success-and-more-to-follow/feed/ 0 New website to take us through to 2015 http://www.cryptoforma.org.uk/2012/09/new-website-to-take-us-through-to-2015/ http://www.cryptoforma.org.uk/2012/09/new-website-to-take-us-through-to-2015/#comments Mon, 17 Sep 2012 20:29:07 +0000 Eerke http://www.cryptoforma.org.uk/?p=121 The website has undergone a thorough overhaul, now also adding a members only wiki, containing technical materials arising out of several meetings.

The post New website to take us through to 2015 appeared first on CryptoForma.

]]> The website has undergone a thorough overhaul, now also adding a members only wiki, containing technical materials arising out of several meetings.

The post New website to take us through to 2015 appeared first on CryptoForma.

]]> http://www.cryptoforma.org.uk/2012/09/new-website-to-take-us-through-to-2015/feed/ 0