Reference number : GC-2017-Q1-01556, amendment number : , agreement type : G, recipient legal name : Goldberg, Ian (University of Waterloo), recipient country : CA, recipient province : nan, recipient city : Ontario, recipient postal code : nan, program name english : Discovery Grants Program - Individual, program name french : Programme de subventions à la découverte - individuelles, program purpose english : In the last few years, the Internet has seen significantly increased deployment of security and privacy technologies offered by websites, messaging applications, and other forms of online communication. However, these currently deployed technologies in the area of privacy-preserving communication only solve part of the problem. Most approaches focus on protecting the contents of a message but reveal the metadata ( who communicated with whom , when , and where ). Such metadata allows the reconstruction of a person's social network, location, and activities, and by itself can reveal sensitive information such as being part of a minority or marginalized group. Furthermore, protecting communication contents and metadata is of limited utility if the communication itself is censored and the messages are not getting through at all; country-scale Internet censorship is increasingly common around the world, drastically undermining human rights such as freedom of speech. 
 
The original design of the Internet did not account for governmental parties manipulating and censoring communication and hence does not provide adequate mechanisms to guarantee availability : that the Internet services one might wish to use are in fact reachable. Similarly, the abundance of sensitive highly personal information that is currently shared digitally is not adequately protected. Adversaries, ranging from petty criminals to governmental censors, are able to observe and manipulate Internet communication. Such surveillance and manipulation affects both individuals, for instance due to leaked personal information, as well as societies, for instance due to country-wide censorship. It is therefore essential to develop technologies to resist surveillance and censorship. 
 
Unfortunately, manually designing and evaluating privacy-enhancing technologies (PETs) for secure and censorship-resistant communication is cumbersome and notoriously difficult to perform perfectly. Moreover, a single design flaw can lead to catastrophic real-world consequences for users. By enabling automated protocol construction and verification , we will ensure future research on PETs will be more efficient and have lower risk for errors. 
 
The long-term goal of our research is to develop original and innovative PETs that overcome the limitations of the existing state-of-the-art approaches and provide more extensive protection from surveillance and censorship. In light of the above discussion, we identified three short-term goals: i) protecting communication metadata, ii) automated protocol construction, and iii) censorship-resistant Internet access. Our PETs for secure and censorship-resistant communication address all three traditional aspects of security: confidentiality, integrity, and availability. In addition to advancing scientific knowledge, we focus on deploying our systems to benefit users all over the world., program purpose french : In the last few years, the Internet has seen significantly increased deployment of security and privacy technologies offered by websites, messaging applications, and other forms of online communication. However, these currently deployed technologies in the area of privacy-preserving communication only solve part of the problem. Most approaches focus on protecting the contents of a message but reveal the metadata ( who communicated with whom , when , and where ). Such metadata allows the reconstruction of a person's social network, location, and activities, and by itself can reveal sensitive information such as being part of a minority or marginalized group. Furthermore, protecting communication contents and metadata is of limited utility if the communication itself is censored and the messages are not getting through at all; country-scale Internet censorship is increasingly common around the world, drastically undermining human rights such as freedom of speech. 
 
The original design of the Internet did not account for governmental parties manipulating and censoring communication and hence does not provide adequate mechanisms to guarantee availability : that the Internet services one might wish to use are in fact reachable. Similarly, the abundance of sensitive highly personal information that is currently shared digitally is not adequately protected. Adversaries, ranging from petty criminals to governmental censors, are able to observe and manipulate Internet communication. Such surveillance and manipulation affects both individuals, for instance due to leaked personal information, as well as societies, for instance due to country-wide censorship. It is therefore essential to develop technologies to resist surveillance and censorship. 
 
Unfortunately, manually designing and evaluating privacy-enhancing technologies (PETs) for secure and censorship-resistant communication is cumbersome and notoriously difficult to perform perfectly. Moreover, a single design flaw can lead to catastrophic real-world consequences for users. By enabling automated protocol construction and verification , we will ensure future research on PETs will be more efficient and have lower risk for errors. 
 
The long-term goal of our research is to develop original and innovative PETs that overcome the limitations of the existing state-of-the-art approaches and provide more extensive protection from surveillance and censorship. In light of the above discussion, we identified three short-term goals: i) protecting communication metadata, ii) automated protocol construction, and iii) censorship-resistant Internet access. Our PETs for secure and censorship-resistant communication address all three traditional aspects of security: confidentiality, integrity, and availability. In addition to advancing scientific knowledge, we focus on deploying our systems to benefit users all over the world., agreement title english : Privacy Enhancing Technologies for Censorship-resistant and Secure Internet Communications, agreement title french : Privacy Enhancing Technologies for Censorship-resistant and Secure Internet Communications, agreement number : RGPIN, agreement value : 250000.0, agreement start date : 2017-05-10, agreement end date : nan, description english : nan, description french : nan, expected results english : nan, expected results french : nan, additional information english : Grant or Award spanning more than one fiscal year. (2017-2018 to 2022-2023), additional information french : Subvention ou bourse octroyée s'appliquant à plus d'un exercice financier. (2017-2018 à 2022-2023), owner organization : nserc-crsng, owner organization title : Natural Sciences and Engineering Research Council of Canada | Conseil de recherches en sciences naturelles et en génie du Canada