Journal of the ACM (JACM)
Proofs and types
The definition of Standard ML
An approach to the formal verification of cryptographic protocols
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving Properties of Security Protocols by Induction
CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
Automated deduction by theory resolution
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |