IEEE Symposium on Security and Privacy·16 min
Security researchers examine technical aspects of DEEPSEC: Deciding Equivalence Properties in Security Protocols -- Theory and Practice.
protocolsdeepsecdeciding+3
deciding
2 talks tagged with this topic.
Filters+
Loading filters…
1–2 of 2 talks · loading…
The Linux Foundation·28 min
Robin Ginn
Discusses merge, Maintain, or Move On? Deciding the Fate of an Open Source Project and evaluates key implications for security practitioners.
open-sourcemergemaintain+2