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