Publications
Publication
Secure Compilation of a Multi-Tier Web Language
Publication
The Family and Communication Technologies
Publication
Verifying Policy-Based Web Services Security
Publication