Skip to content

about.md

Latest commit

 

History

History
59 lines (44 loc) · 3.04 KB

about.md

File metadata and controls

59 lines (44 loc) · 3.04 KB

About

The TACO toolsuite has been developed by the

Rigorous Analysis and Design Group (RAD) at the CISPA - Helmholtz Center for Information Security:

and SnT at Luxembourg University:

  • Mouhammad Sakr (now: American University of Beirut)
  • Mahboubeh Kalateh Dowlati
  • Kürşat Aker
  • Supervisor: Markus Völp

The development of TACO was funded in part by the German Research Foundation (DFG) grant 513487900, German Research Foundation (DFG) grant 513487900, and the Luxembourg National Research Fund (FNR) grant C22/IS/17432184.

For the purpose of open access, and in fulfilment of the obligations arising from the grant agreement, TACO and all of its crates are licensed under the Apache-2.0 license:

Copyright [2025] [The TACO contributors]

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.

The TACO documentation is also licensed under CC-BY-4.0.

Exceptions, e.g., files that have been taken from other projects, which do not fall under the same license (like for example the benchmark files copied / generated from the fault-tolerant-benchmarks repository by Igor Konnov), have their respective licenses indicated in the respective LICENSE or README.md files.

:::{include} ./about/third-party-licenses.html

:::