Scholar

Perry Alexander

Google Scholar ID: X-WzDOYAAAAJ

AT&T Foundation Distinguished Professor, I2S Director, The University of Kansas

Formal MethodsSecurityFormal VerificationFormal SynthesisDesign Languages

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,238

H-index

18

i10-index

38

Publications

20

Co-authors

30

list available

Publications

1 items

Designing Trustworthy Layered Attestations

2026

Cited

0

Co-authors

3 total

The MITRE Corporation

Nael Abu-Ghazaleh

University of California, Riverside

Proofcraft and UNSW