Login / Signup

Runtime Verification of Crypto APIs: An Empirical Study.

Adriano TorresPedro Henrique Teixeira CostaLuis Henrique Vieira AmaralJonata PastroRodrigo BonifácioMarcelo d'AmorimOwolabi LegunsenEric BoddenEdna Dias Canedo
Published in: IEEE Trans. Software Eng. (2023)
Keyphrases
  • model checking
  • lightweight
  • application developers
  • formal verification
  • asynchronous circuits
  • database
  • security protocols
  • digital signature
  • person identification
  • verification method