npbhoang Goto Github PK

energat

🔋🎯 Thread-level, NUMA-aware energy attribution model for multi-tenancy

fgaco

A Many-Sorted First-order Logic Theory generation for checking the necessity of authorization checks in enforcing Fine-Grained Access Control using SQL Security Injector

jeeves

Python implementation of the Jeeves programming language.

mds-sqlsi

Low-code approach for generating SQL authorization functions and secured stored-procedures from SecureUML security models

minitwit

A tiny sample Flask app featuring a database and user accounts

npbhoang.github.io

revizor-artifact

Revizor's artifact evaluation submission