SaMBA: Increasing Mixed Boolean-Arithmetic Complexity Through Equality Saturation

Research Group Security and Privacy

Publications: Contribution to book › Contribution to proceedings › Peer Reviewed

1 Active

1 results

Active

Assurance and Transparency in Software Protection (AsTra)
Schrittwieser, S. (Project Lead)
1/04/24 → 31/03/29
Project: Research cooperation