Software/Security Engineer
My Interests
Public Key Infrastructure, Domain Name System, Symbolic Computation
My Works
DNS related works
Authoritative DNS Server Response Time
SOA Serial Monitor Last 24 hours
Authoritative dns ServiceLevel monitor
Overview of Successful Response Rate
PKI related works
CRLset Monitor
A command line tool for certificate transparency
Symbolic AI works
Theorem proving tool by clause-resolution and Knuth-Bendix Completion