Concepedia

Grace L. Hammonds

GL

Statistics

Publications

2

Citations

23

H-Index

2

Active since

1996

Grace L. Hammonds is an author specializing in formal methods, cryptographic protocols, and formal verification of cryptographic protocols.

Publications per year

1996–2002

2

Publications

2

Verifying the correctness of cryptographic protocols using "Convince"

Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin · 2002 · 12 citations

, , +16

Verifying cryptographic protocols for electronic commerce

Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin · 1996 · 11 citations

, , +17

1–2 of 2