3 citations · 3 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2019
An Extensive Formal Security Analysis of the OpenID Financial-grade API
Daniel Fett, Pedram Hosseyni, Ralf Kuesters
Forced by regulations and industry demand, banks worldwide are working to open their customers' online banking accounts to third-party services via web-based APIs. By using these s…
cs.CR2008
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach
Ralf Kuesters, Tomasz Truderung
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils do…