Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Formally sound implementations of security protocols with JavaSPI. | 0 | 0.34 | 2018 |
| Formal verification of security protocol implementations: a survey. | 9 | 0.52 | 2014 |
| JavaSPI: A Framework for Security Protocol Implementation | 10 | 0.61 | 2011 |
| The Java SPI Framework for Security Protocol Implementation | 6 | 0.49 | 2011 |