• Sign in
  • Sign up
conf.researchr.org / Saumya Shankar
  • APLAS 2025 profile
  • ATVA 2025 profile
  • ECOOP 2022 profile
  • ECOOP 2025 profile
Saumya Shankar

Registered user since Thu 14 Aug 2025

Name:Saumya Shankar
Country:India
Affiliation:International Institute of Information Technology Bangalore
Personal website: https://www.iiitb.ac.in/faculty/saumya-shankar
Research interests:Formal Methods, Runtime Verification and Enforcement

Contributions

2025

ATVA

  • Author of Property Grouping and Context-Aware Runtime Enforcement within the NIER-track
  • Organizing Committee in Organizing Committee

APLAS

  • Author of Property Grouping and Context-Aware Runtime Enforcement within the ATVA and APLAS NIER-track

VORTEX

  • Author of Bounded Compositional Runtime Enforcement within the VORTEX-track

2022

VORTEX

  • Author of Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk) within the VORTEX 2022-track
Share
xSat 25 Oct 09:26
using conf.researchr.org (v1.72.1)
Support page
Sign Up