00:05:52	Hart Montgomery:	It looks like your sound went out, Arun.
00:10:41	Aruna S M:	https://github.com/hartm/SecurityTaskForce/tree/main/ThreatModelPaper
00:21:39	Peter Somogyvari:	Hi all, sorry for being late!
00:51:33	Hart Montgomery:	https://eprint.iacr.org/2014/765.pdf
00:54:36	Hart Montgomery:	A more rigorous treatment (but very tedious):  https://eprint.iacr.org/2017/149.pdf
00:59:06	Kamlesh Nagware:	knagware9