FAST

MaRDI QIDQ18326swMATHFDO

Official website http://www.infsec.ethz.ch/people/brunoco

Described by source

• FAST: an efficient decision procedure for deduction and static equivalence

Cited in

(15)

• YAPA
• ProVerif
• OFMC
• scyther
• LALBLC
• Apte
• Akiss
• H_ static output-feedback control design with constrained information for offshore wind turbine system
• TurbSim
• FAST
• Analysing privacy-type properties in cryptographic protocols (invited talk)
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• Computing knowledge in equational extensions of subterm convergent theories
• Adaptive maximum power point tracking control for wind turbines with effective wind speed estimation \& prediction
• Linear parameter‐varying modelling and control of an offshore wind turbine with constrained information

This page was built for software: FAST