Concepedia

Philip Matthews

PM

2

Publications

168

Citations

2

H-Index

1989

Active since

Affiliations

Aarhus University(Current)

Philip Matthews is an author at Aarhus University specializing in formal verification, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSemanticsCryptographySemantic WebVerificationData SecurityAutomated Reasoning

Publications per year

1989–2012

2

Publications

2

Logic Minimization Techniques with Applications to Cryptology

Joan Boyar, Philip Matthews, René Peralta · Journal of Cryptology · 2012 · 152 citations · Full text

Logic Minimization Techniques, Cryptographic Primitive, Engineering +7

A sharp proof rule for procedures in wp semantics

A. Bijlsma, Philip Matthews, J. G. Wiltink · Acta Informatica · 1989 · 16 citations

Engineering, Automated Reasoning, Verification +9

Rows per page

1–2 of 2