C
rypto
B
ased
C
ompositional
P
roperties
ListExtras
Secrecy_types
inout
Secrecy
CompLocalSecrets
KnowledgeKeysSecrets