Index Catalog // Hyrax

Filter löschen

Filtern nach: Stichwort Proof Search License https://creativecommons.org/licenses/by/4.0/

Logic For Exploit Detection: Utilizing Proof Search for Exploitability Detection in Compact Software Systems

Stichwort:

Bug Detection, Staged Linear Logic, Logic Programming, Linear Logic Programming, Proof Search, and Python

Schöpfer:

Eskandari Miandoab, Kaveh

Advisor:

Bohrer, Rose

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2024-04-25

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science