Connor Wojtak -

Registered user since Mon 16 Jun 2025

Name:Connor Wojtak

Country:United States

Affiliation:University of Arizona

Contributions

2025

MODELS

Author of Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems within the New Ideas and Emerging Results (NIER)-track

CISOSE

Author of Formal Methods for Verifying Authorization Policy in Microservice Systems within the IEEE CISOSE SRC Track-track