Login / Signup
Miguel Grilo
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Worst Case
Keystroke Dynamics
Password Authentication
Information Security
Top Venues
CoRR
IFM
</>
Publications
</>
Miguel Grilo
,
João Campos
,
João F. Ferreira
,
José Bacelar Almeida
,
Alexandra Mendes
Verified Password Generation from Password Composition Policies.
IFM
(2022)
Miguel Grilo
,
João F. Ferreira
,
José Bacelar Almeida
Towards Formal Verification of Password Generation Algorithms used in Password Managers.
CoRR
(2021)