20 citations · 31 across the 4 of their papers we have counts for
3 papers · 1 filter
Cloud2Edge Elastic AI Framework for Prototyping and Deployment of AI Inference Engines in Autonomous Vehicles
Sorin Grigorescu, Tiberiu Cocias, Bogdan Trasnea +3
Self-driving cars and autonomous vehicles are revolutionizing the automotive sector, shaping the future of mobility altogether. Although the integration of novel technologies such…
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies
Andrea Margheri, Massimiliano Masi, Rosario Pugliese +1
Access control systems are widely used means for the protection of computing systems. They are defined in terms of access control policies regulating the accesses to system resourc…
On Properties of Policy-Based Specifications
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
The advent of large-scale, complex computing systems has dramatically increased the difficulties of securing accesses to systems' resources. To ensure confidentiality and integrity…