Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Ravishankar, Veena"'
Autor:
Chichester, Dalton, Du, Wei, Kauffman, Raymond, Lin, Hai, Lynch, Christopher, Marshall, Andrew M., Meadows, Catherine A., Narendran, Paliath, Ravishankar, Veena, Rovira, Luis, Rozek, Brandon
Publikováno v:
EPTCS 370, 2022, pp. 147-161
Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable proofs of soundness/completeness, can be used both to identify insecure
Externí odkaz:
http://arxiv.org/abs/2209.10321
Autor:
Lynch, Christopher, Marshall, Andrew M., Meadows, Catherine, Narendran, Paliath, Ravishankar, Veena
Asymmetric unification, or unification with irreducibility constraints, is a newly developed paradigm that arose out of the automated analysis of cryptographic protocols. However, there are still relatively few asymmetric unification algorithms. In t
Externí odkaz:
http://arxiv.org/abs/1907.00227
We compare two kinds of unification problems: Asymmetric Unification and Disunification, which are variants of Equational Unification. Asymmetric Unification is a type of Equational Unification where the right-hand sides of the equations are in norma
Externí odkaz:
http://arxiv.org/abs/1706.05066
Autor:
Strzalkowski, Tomek, Shaikh, Samira, Liu, Ting, Broadwell, George Aaron, Stromer-Galley, Jenny, Taylor, Sarah, Ravishankar, Veena, Boz, Umit, Ren, Xiaoai
Publikováno v:
Social Computing, Behavioral - Cultural Modeling & Prediction (9783642372094); 2013, p19-27, 9p
Autor:
Shaikh, Samira, Strzalkowski, Tomek, Stromer-Galley, Jenny, Broadwell, George Aaron, Taylor, Sarah, Liu, Ting, Ravishankar, Veena, Ren, Xiaoai, Boz, Umit
Publikováno v:
2012 Second International Conference on Cloud & Green Computing; 1/ 1/2012, p515-522, 8p