Cited By
View all- Sankaran ADatta PBates A(2020)Workflow Integration Alleviates Identity and Access Management in Serverless ComputingProceedings of the 36th Annual Computer Security Applications Conference10.1145/3427228.3427665(496-509)Online publication date: 7-Dec-2020
- May MLux KGunter C(2020)WSEmailService Oriented Computing and Applications10.1007/s11761-019-00283-914:1(5-17)Online publication date: 21-Jan-2020
- Blanchet BPaiola MSadeghi AGligor VYung M(2013)Automatic verification of protocols with lists of unbounded lengthProceedings of the 2013 ACM SIGSAC conference on Computer & communications security10.1145/2508859.2516679(573-584)Online publication date: 4-Nov-2013
- Show More Cited By