HD-Sec presents (slides) the accepted paper An Event-B Formal Model for Access Control and Resource Management of Serverless Apps In ABZ 2024 10th International Conference on Rigorous State Based Methods, 25-28 June 2024, Bergamo, Italy.