Home

Welcome to the the formalsec wiki!

Here should be a place where we can document standard operating procedures for publishing research artifacts as well general-purpose guides on academic procedures within our group.