Security analysis of crypto-based java programs using automated theorem provers

Jurjens, J (2006). Security analysis of crypto-based java programs using automated theorem provers. In: 21st IEEE International Conference on Automated Software Engineering (ASE'06), IEEE, Tokyo, pp. 167–176.

DOI: https://doi.org/10.1109/ASE.2006.60

URL: http://www.ieeexplore.ieee.org/search/wrapper.jsp?...

Viewing alternatives

Metrics

Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions

Item Actions

Export

About

Recommendations