• Benterki, Aboubaker Seddiqtarkvarateaduse instituut, doktorant-nooremteadurAt TalTech: 2023-https://taltech.ee/kontaktid/tugevalt-tagatud-tarkvara-laboratoorium/aboubaker-seddiq-benterki
• High-assurance software laboratory.
  Dependable IT solutions, Innovative businesses and future governance.
  Uustalu, Tarmo https://cs.ioc.ee/lsg/