Towards Attribute-Based Authorisation for Bidirectional Programming.

Lionel Montrieux, Zhenjiang Hu

Browse the full SACMAT paper archive.