Daniel Ricardo dos Santos
According to our database1, Daniel Ricardo dos Santos authored at least 23 papers between 2014 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Leveraging operational technology and the Internet of things to attack smart buildings.
J. Comput. Virol. Hacking Tech., 2021
Proceedings of the ICT Systems Security and Privacy Protection, 2020
Security and Privacy in Smart Grids: Challenges, Current Solutions and Future Opportunities.
Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020
Int. J. Softw. Tools Technol. Transf., 2019
Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2019
Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques.
Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018
Leveraging Semantics for Actionable Intrusion Detection in Building Automation Systems.
Proceedings of the Critical Information Infrastructures Security, 2018
Automatic Techniques for the Synthesis and Assisted Deployment of Security Policies in Workflow-based Applications.
PhD thesis, 2017
J. Comput. Secur., 2017
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications.
Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017
Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, 2017
A framework and risk assessment approaches for risk-based access control in the cloud.
J. Netw. Comput. Appl., 2016
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability.
Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies, 2016
Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios.
Proceedings of the Data and Applications Security and Privacy XXIX, 2015
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes.
Proceedings of the 10th ACM Symposium on Information, 2015
Inf. Manag. Comput. Secur., 2014
Int. J. Secur. Networks, 2014
Proceedings of the 7th Workshop on Cyber Security Experimentation and Test, 2014
Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014