Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023
Quantitative Toolchain Assurance
Dennis Volpano, Drew Malzahn, Andrew Pareles +1
The software bill of materials (SBOM) concept aims to include more information about a software build such as copyrights, dependencies and security references. But SBOM lacks visib…
cs.SE2022
Network Programming via Computable Products
Dennis Volpano
The User Plane Function (UPF) aims to provide network services in the 3GPP 5G core network. These services need to be implemented on demand inexpensively with provable properties.…