Registered user since Tue 26 Jan 2021
Name:Sandip Ghosal
Country:India
Affiliation:Indian Institute of Technology, Bombay
Research interests:Language-based information flow control, software security
Contributions
| ICSE 2021 | An Axiomatic Approach to Detect Information Leaks in Concurrent Programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile