Metadata

Source URL:: https://kmicinski.com/hyperproperties-hard
Topics:: #hyperproperties

Computer security as a field is met with a persistent criticism:flashy attacks arehot,boring (hard-fought) defenses arenot. Comparedto security, programming ...

Highlights