search

OpenSecEd / scientific-method

Learning material on the scientific method
Other
0 stars 0 forks source link

Is Signal secure? #42

Open dbosk opened 2 months ago

dbosk commented 2 months ago

Change the final assignment to Signal specifically.

Let them do a literature review. What is missing?

Later this assignment can be moved to the scenario for formal methods case.

dbosk commented 2 months ago

Particularly, focus on what is missing, what does a paper answer and what does it not answer.

dbosk commented 2 months ago

WIP 1afd9e5889ba727285edb5da627d3973798c4199