TRENDS 2014 - Revision history

Ceres at 12:10, 27 May 2015

2015-05-27T12:10:30Z

Ceres at 12:09, 27 May 2015

2015-05-27T12:09:43Z

Ceres at 21:05, 10 September 2014

2014-09-10T21:05:25Z

Ceres at 01:31, 7 September 2014

2014-09-07T01:31:18Z

Ceres at 20:08, 5 September 2014

2014-09-05T20:08:00Z

Ceres at 06:45, 10 August 2014

2014-08-10T06:45:09Z

Ceres at 07:29, 25 July 2014

2014-07-25T07:29:24Z

Ceres at 21:56, 3 July 2014

2014-07-03T21:56:31Z

Ceres at 21:55, 3 July 2014

2014-07-03T21:55:33Z

Ceres at 10:51, 28 June 2014

2014-06-28T10:51:48Z

@@ Line 1: / Line 1: @@
 '''September 6, 2014, Rome, Italy'''
 =Description=
-TRENDS 2015 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in Concurrency Theory and its applications to
+TRENDS 2014 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in Concurrency Theory and its applications to
-exchange ideas and discuss recent trends and open problems. The event will take place in the morning of September 5, 2015 and will consist of three invited talks, followed by the yearly WG 1.8 business meeting.
+exchange ideas and discuss recent trends and open problems. The event will take place in the morning of September 6, 2014 and will consist of four invited talks, followed by the yearly WG 1.8 business meeting.
 =Invited Speakers=
-To be announce
+* [http://www.dais.unive.it/~michele Michele Bugliesi], University of Venice, IT
-* 9:00-10:30 Invited talks 1 and 2
+=Program and Slides=
 * 10:30-11:00 Coffee Break
-* 11:00-11:45 Invited talk 3
+* 12:30-13:00 Break (Grabbing Lunch)
-* 11:45-12:30 IFIP WG 1.8 Business Meeting (Open to all)
-* 12:30-14:00 Lunch
@@ Line 45: / Line 100: @@
 The activities of this WG encompass all aspects of concurrency theory and its applications.
 =History=
 The first instalment of TRENDS ([http://www.win.tue.nl/trends12/ TRENDS 2012]) was held on September 8, 2012 as a satellite event of CONCUR 2012, in Newcastle upon Tyne, UK.
 The second instalment of TRENDS ([http://www.win.tue.nl/trends13/ TRENDS 2013]) was held on August 31, 2013 as a satellite event of CONCUR 2013, in Buenos Aires, Argentina.

@@ Line 1: / Line 1: @@
 '''September 6, 2014, Rome, Italy'''
-'''(A satellite event of [http://concur2014.org/ CONCUR 2014])'''
+'''(A satellite event of [http://mafalda.fdi.ucm.es/concur2015/ CONCUR 2015])'''
 =Description=
-TRENDS 2014 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in Concurrency Theory and its applications to
+TRENDS 2015 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in Concurrency Theory and its applications to
-exchange ideas and discuss recent trends and open problems. The event will take place in the morning of September 6, 2014 and will consist of four invited talks, followed by the yearly WG 1.8 business meeting.
+exchange ideas and discuss recent trends and open problems. The event will take place in the morning of September 5, 2015 and will consist of three invited talks, followed by the yearly WG 1.8 business meeting.
 =Invited Speakers=
-* [http://www.dais.unive.it/~michele Michele Bugliesi], University of Venice, IT
+To be announce
-* [http://www.lsv.ens-cachan.fr/~delaune/ Stephanie Delaune], CNRS and  ENS de Cachan, FR
-* [http://www.dcs.gla.ac.uk/~simon/ Simon Gay],  University of Glasgow, UK
-* [http://alexandrasilva.org/ Alexandra Silva], Radboud University Nijmegen, NL
-=Program and Slides=
+* 9:00-10:30 Invited talks 1 and 2
-−
-* 9:00-9:45 Alexandra Silva, [[media:alexandra_silva_trends_2014.pdf|Coalgebras for Concurrency]]
-* 9:45-10:30 Simon Gay, Types for Concurrency
 * 10:30-11:00 Coffee Break
-* 12:30-13:00 Break (Grabbing Lunch)
+* 11:00-11:45 Invited talk 3
+* 12:30-14:00 Lunch
-==Alexandra Silva, Coalgebras for Concurrency==
-'''Abstract:'''
-Coalgebras are a well-established mathematical framework to study state-based systems. The general framework offers powerful modular techniques that can be instantiated for systems encompassing different features, such as non-determinism and probabilism. There are several  applications in concurrency theory, in what concerns proof techniques for equivalence of systems or axiomatizations of process algebras.
-I will survey recent work on the use of coalgebraic methods in concurrency theory and I will discuss trends, open problems, and potential directions for future work.
-−
-==Simon Gay, Types for Concurrency==
-'''Abstract:'''
-I will survey recent work on the use of type systems in concurrency theory and the development of type systems for concurrent programming. I will attempt to identify trends, open problems, and fruitful directions for future work.
-−
-−
-==Michele Bugliesi, Client-Side Protection in Web Authentication==
-'''Abstract:'''
-−
-Authentication on the Web is notoriously vulnerable to a wide range of different
-attacks, In fact, though current web application frameworks support safe
-authentication schemas at the server side, developers often misuse them and/or
-are reluctant to adopt the recommended security practices. Enforcing protection
-at the browser side has thus become a popular approach.
-In this talk, I will advocate the analysis of web authentication  based on a
-novel notion of (web) session integrity, which in turn draws on a formalization
-of web browsers as ''reactive systems'' along the lines of recent work in
-the literature. The new definition of session integrity is effective for two reasons:
-first, it departs from previous proposals on authentication and integrity to capture
-the distinctive challenges arising in the Web, like XSS attacks; secondly, it is
-browser-centric and thus naturally amenable for enforcement at the client side,
-without any background knowledge on the server behaviour. I will show how the
-definition captures existing web attacks and spots new ones. I will also discuss
-a prototype Google Chrome extension enforcing a strong and sound security policy
-formalized in terms of our theoretical setup.
-−
-==Stephanie Delaune, A Process Algebraic Analysis of Privacy-Type Properties in Cryptographic Protocols==
-'''Abstract:'''
-−
-Cryptographic protocols aim at securing communications over insecure
-networks such as the Internet, where dishonest users may listen to
-communications and interfere with them.  For example, passports are no more
-pure paper documents.  Instead, they contain a chip that stores additional information
-such as pictures and fingerprints of their holder. In order to ensure privacy, these chips
-include a mechanism, i.e. a cryptographic protocol, that does not let
-the passport disclose private information to external users.
-This is just a single example but of course privacy appears in many other contexts
-such as RDFIDs technologies or electronic voting.
-−
-Actually, the analysis of cryptographic protocols relies on several concepts
-which are well-established in the field of process algebras. In particular, the notion of
-behavioral equivalences allows one to express indistinguishability, which is a
-crucial concept to model privacy-type security properties (e.g. anonymity, unlinkability, ...)
-We will discuss some recent advances that we have done to analyse automatically
-equivalence-based security properties, and we will review some issues
-that remain to be solved to obtain efficient verification tools.
@@ Line 102: / Line 45: @@
 The activities of this WG encompass all aspects of concurrency theory and its applications.
 =History=
 The first instalment of TRENDS ([http://www.win.tue.nl/trends12/ TRENDS 2012]) was held on September 8, 2012 as a satellite event of CONCUR 2012, in Newcastle upon Tyne, UK.
 The second instalment of TRENDS ([http://www.win.tue.nl/trends13/ TRENDS 2013]) was held on August 31, 2013 as a satellite event of CONCUR 2013, in Buenos Aires, Argentina.

@@ Line 24: / Line 24: @@
 * 10:30-11:00 Coffee Break
-* 11:00-11:45  Michele Bugliesi, Client-Side Protection in Web Authentication
+* 11:00-11:45  Michele Bugliesi, [[media:michele_bugliesi_trends_2014.pdf|Client-Side Protection in Web Authentication]]
 * 11:45-12:30 Stephanie Delaune, [[media:stephanie_delaune_trends_2014.pdf|A Process Algebraic Analysis of Privacy-Type Properties in Cryptographic Protocols]]

@@ Line 25: / Line 25: @@
 * 11:00-11:45  Michele Bugliesi, Client-Side Protection in Web Authentication
-* 11:45-12:30 Stephanie Delaune, A Process Algebraic Analysis of Privacy-Type Properties in Cryptographic Protocols
+* 11:45-12:30 Stephanie Delaune, [[media:stephanie_delaune_trends_2014.pdf|A Process Algebraic Analysis of Privacy-Type Properties in Cryptographic Protocols]]
 * 12:30-13:00 Break (Grabbing Lunch)

@@ Line 17: / Line 17: @@
-=Program=
+=Program and Slides=
-* 9:00-9:45 Alexandra Silva, Coalgebras for Concurrency
+* 9:00-9:45 Alexandra Silva, [[media:alexandra_silva_trends_2014.pdf|Coalgebras for Concurrency]]
 * 9:45-10:30 Simon Gay, Types for Concurrency

@@ Line 27: / Line 27: @@
 * 11:45-12:30 Stephanie Delaune, A Process Algebraic Analysis of Privacy-Type Properties in Cryptographic Protocols
-* 12:30-13:30 Lunch Break
+* 12:30-13:00 Break (Grabbing Lunch)
-* 13:30-14:30 IFIP WG 1.8 Business Meeting
+* 13:00-14:00 IFIP WG 1.8 Business Meeting + Lunch

← Older revision		Revision as of 07:29, 25 July 2014
Line 29:		Line 29:
	* 12:30-13:30 Lunch Break		* 12:30-13:30 Lunch Break

−	* 13:30-14:15 IFIP WG 1.8 Business Meeting	+	* 13:30-14:30 IFIP WG 1.8 Business Meeting

@@ Line 30: / Line 30: @@
 * 13:30-14:15 IFIP WG 1.8 Business Meeting
 ==Michele Bugliesi, Client-Side Protection in Web Authentication==
@@ Line 72: / Line 83: @@
 that remain to be solved to obtain efficient verification tools.
 =Participation=

← Older revision		Revision as of 21:55, 3 July 2014
Line 19:		Line 19:
	=Program=		=Program=

		+	* 9:00-9:45 Alexandra Silva, Coalgebras for Concurrency
		+	* 9:45-10:30 Simon Gay, Types for Concurrency
		+
		+	* 10:30-11:00 Coffee Break
		+
		+	* 11:00-11:45 Michele Bugliesi, Client-Side Protection in Web Authentication
		+	* 11:45-12:30 Stephanie Delaune, A Process Algebraic Analysis of Privacy-Type Properties in Cryptographic Protocols
		+
		+	* 12:30-13:30 Lunch Break
		+
		+	* 13:30-14:15 IFIP WG 1.8 Business Meeting

	==Michele Bugliesi, Client-Side Protection in Web Authentication==		==Michele Bugliesi, Client-Side Protection in Web Authentication==

← Older revision		Revision as of 10:51, 28 June 2014
Line 18:		Line 18:

	=Program=		=Program=
		+
		+
		+	==Michele Bugliesi, Client-Side Protection in Web Authentication==
		+	'''Abstract:'''
		+
		+	Authentication on the Web is notoriously vulnerable to a wide range of different
		+	attacks, In fact, though current web application frameworks support safe
		+	authentication schemas at the server side, developers often misuse them and/or
		+	are reluctant to adopt the recommended security practices. Enforcing protection
		+	at the browser side has thus become a popular approach.
		+	In this talk, I will advocate the analysis of web authentication based on a
		+	novel notion of (web) session integrity, which in turn draws on a formalization
		+	of web browsers as ''reactive systems'' along the lines of recent work in
		+	the literature. The new definition of session integrity is effective for two reasons:
		+	first, it departs from previous proposals on authentication and integrity to capture
		+	the distinctive challenges arising in the Web, like XSS attacks; secondly, it is
		+	browser-centric and thus naturally amenable for enforcement at the client side,
		+	without any background knowledge on the server behaviour. I will show how the
		+	definition captures existing web attacks and spots new ones. I will also discuss
		+	a prototype Google Chrome extension enforcing a strong and sound security policy
		+	formalized in terms of our theoretical setup.

	==Stephanie Delaune, A Process Algebraic Analysis of Privacy-Type Properties in Cryptographic Protocols==		==Stephanie Delaune, A Process Algebraic Analysis of Privacy-Type Properties in Cryptographic Protocols==