NTHRYS › PhD Assistance › Cybersecurity

Cybersecurity

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Secure Compilation Proof-Carrying Code Generation

Research on secure compilation techniques generating verifiable proofs of security properties preservation through compiler transformations.