Login / Signup
Alexei Lisitsa
ORCID
Publication Activity (10 Years)
Years Active: 1993-2021
Publications (10 Years): 42
Top Topics
Database
Theorem Proving
Penetration Testing
Logic Rules
Top Venues
CoRR
ICISSP
ICMS
DATA
</>
Publications
</>