Skip to main content

Automata classes

Project description

# symautomata Automata classes

A python framework for working with Automata. The framework contains a python implementation and C bindings using pywrapfst (optional). This framework is part of the [lightbulb-framework](https://github.com/lightbulb-framework/lightbulb-framework).

## Changelog

0.0.12: Added support for latest Flex version in flex2fst file.

## Contributors

  • George Argyros

  • Ioannis Stais

  • Suman Jana

  • Angelos D. Keromytis

  • Aggelos Kiayias

## References

  • G. Argyros, I. Stais, S. Jana, A. D. Keromytis, and A. Kiayias. 2016. SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS ‘16). ACM, New York, NY, USA, 1690-1701. doi: 10.1145/2976749.2978383

  • G. Argyros, I. Stais, A. Kiayias and A. D. Keromytis, “Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters,” 2016 IEEE Symposium on Security and Privacy (SP), San Jose, CA, 2016, pp. 91-109. doi: 10.1109/SP.2016.14

## Acknowledgements

This research was partly supported by ERC project CODAMODA, #259152.

## License

MIT License as described in LICENSE file

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

symautomata-0.0.12.tar.gz (44.5 kB view details)

Uploaded Source

File details

Details for the file symautomata-0.0.12.tar.gz.

File metadata

File hashes

Hashes for symautomata-0.0.12.tar.gz
Algorithm Hash digest
SHA256 c610a39245c2c121ecd11c2bf5890bd02881e0360b1d9722508c47a7ee25a8a7
MD5 10a7e0ac2339a297dab0eee0c643c68c
BLAKE2b-256 f3df5fab736613367a9426c61a30d5717b9621139e0c2b67219cde990876279a

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page