Martín Abadi
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
A logic of object-oriented programs
Martín Abadi and others (1997) · TAPSOFT '97: Theory and Practice of Software Development · Springer
A logic of authentication
Michael Burrows and others (1990) · ACM Transactions on Computer Systems · Association for Computing Machinery