Eutaxy.Net is an alias for Franklin Webber, who specializes in development of high-assurance software for systems with security and reliability requirements.