All Stories

  1. Automatically finding execution scenarios to deploy security-sensitive workflows

    Article • Journal of Computer Security, May 2017, IOS Press

    Daniel Ricardo dos Santos

  2. Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes

    Article • April 2015, ACM (Association for Computing Machinery)

    Daniel Ricardo dos Santos, Silvio Ranise