Stem tate$ (all stems)
2 papers:
- TACAS-2015-SoudjaniGA #abstraction #probability #process
- FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
- DATE-DF-2006-BertoniBFPS #implementation
- Software implementation of Tate pairing over GF(2m) (GB, LB, PF, GP, LS), pp. 7–11.