DD2496/FDD3344HT211
Reading: Provable Privacy (before group presentation 14/10/21, 10-12h)
Skip to content
Dashboard
  • Login
  • Dashboard
  • Calendar
  • Inbox
  • History
  • Help
Close
  • Min översikt
  • DD2496/FDD3344HT211
  • Assignments
  • Reading: Provable Privacy (before group presentation 14/10/21, 10-12h)
  • Home
  • Syllabus
  • Modules
  • Assignments

Reading: Provable Privacy (before group presentation 14/10/21, 10-12h)

  • Due 14 Oct 2021 by 9:59
  • Points None
  • Available after 1 Sep 2021 at 8:00

Provable Privacy

Required Reading:

  • Why do we need provable privacy? Easy to read blog post introducing the
    field of research.
    Kaafar, Dali, et al. "From Probably Private to Provable Privacy: On the
    Need for Rigorous Privacy Treatment for data-driven organisations."
    Optus Macquarie University Cyber Security Hub, 4 Mar 2019,
    (html)
  • Longer paper, but first half is a repetition of things already discussed
    in class. Then discusses formal methods that could be used to verify
    privacy properties, and challenges with these approaches.
    Tschantz, Michael Carl, and Jeannette M. Wing. "Formal Methods for
    Privacy." FM 2009: Formal Methods, Lecture Notes in Computer Science,
    vol 5850, Springer, 2009, pp 1–15.
    (pdf)

 

 

Optional:

  • Formal definition of privacy goals in the context of anonymous
    communication. (And winner of best student paper award, presented when PETS was at KTH)
    Kuhn, Christiane, et al. "On Privacy Notions in Anonymous
    Communication." Proceedings on Privacy Enhancing Technologies 2,
    Sciendo, 2019, pp 105–125.
    (pdf)
  • Using behavioural equivalences to analyse privacy properties of e.g.
    RFID protocols.
    Delaune, Stéphanie. "Analysing Privacy-Type Properties in Cryptographic
    Protocols." 3rd International Conference on Formal Structures for
    Computation and Deduction, Leibniz International Proceedings in
    Informatics 108, Leibniz-Zentrum fuer Informatik, 2018, pp 1–20.
    (pdf)

 

 

1634198399 10/14/2021 09:59am
Additional comments:
Rating max score to > Pts

Rubric

 
 
 
 
 
 
 
     
Can't change a rubric once you've started using it.  
Find a rubric
Find rubric
Title
You've already rated students with this rubric. Any major changes could affect their assessment results.
Title
Criteria Ratings Pts
Edit criterion description Delete criterion row
This criterion is linked to a learning outcome Description of criterion
threshold: 5 pts
Edit rating Delete rating
5 to >0 Pts
Full marks
blank
Edit rating Delete rating
0 to >0 Pts
No marks
blank_2
This area will be used by the assessor to leave comments related to this criterion.
pts
  / 5 pts
--
Additional comments
Total points: 5 out of 5