{"id":8033,"date":"2023-06-29T09:17:48","date_gmt":"2023-06-29T06:17:48","guid":{"rendered":"https:\/\/insait.ai\/%d0%bf%d1%80%d0%be%d1%84-%d0%b4%d0%b5%d0%b9%d0%b2%d0%b8%d0%b4-%d0%b1%d0%b5%d0%b9%d1%81%d0%b8%d0%bd\/"},"modified":"2025-08-17T10:42:28","modified_gmt":"2025-08-17T07:42:28","slug":"prof-david-basin","status":"publish","type":"page","link":"https:\/\/insait.ai\/bg\/prof-david-basin\/","title":{"rendered":"\u041f\u0440\u043e\u0444. \u0414\u0435\u0439\u0432\u0438\u0434 \u0411\u0435\u0439\u0441\u0438\u043d"},"content":{"rendered":"<section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<p>\u041e\u0431\u043b\u0430\u0441\u0442 \u043d\u0430 \u0438\u0437\u0441\u043b\u0435\u0434\u0432\u0430\u043d\u0435: \u043a\u0438\u0431\u0435\u0440 \u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442<\/p>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section><section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<div style=\"height:24px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section><section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf left\">\n                  \n<p class=\"has-text-align-left\">\u041f\u0440\u043e\u0444. \u0414\u0435\u0439\u0432\u0438\u0434 \u0411\u0435\u0439\u0441\u0438\u043d (ETH Zurich) \u0441\u0435 \u043f\u0440\u0438\u0441\u044a\u0435\u0434\u0438\u043d\u0438 \u043a\u044a\u043c INSAIT \u043a\u0430\u0442\u043e \u0444\u0438\u043b\u0438\u0430\u043b\u0435\u043d \u043f\u0440\u0435\u043f\u043e\u0434\u0430\u0432\u0430\u0442\u0435\u043b, \u0437\u0430 \u0434\u0430 \u0440\u044a\u043a\u043e\u0432\u043e\u0434\u0438 \u0444\u043e\u0440\u043c\u0438\u0440\u0430\u043d\u0435\u0442\u043e \u043d\u0430 \u043d\u043e\u0432\u0430 \u0433\u0440\u0443\u043f\u0430 \u043f\u043e \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442, \u0443\u043a\u0440\u0435\u043f\u0432\u0430\u0439\u043a\u0438 \u043c\u0438\u0441\u0438\u044f\u0442\u0430 \u043d\u0430 INSAIT \u0434\u0430 \u0440\u0430\u0437\u0432\u0438\u0432\u0430 \u0441\u0438\u0433\u0443\u0440\u0435\u043d \u0438 \u043d\u0430\u0434\u0435\u0436\u0434\u0435\u043d AI.<\/p>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section><section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<div style=\"height:24px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section><section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<p>\u041f\u0440\u043e\u0444. \u0411\u0435\u0439\u0441\u0438\u043d \u0435 \u0440\u0435\u0434\u043e\u0432\u0435\u043d \u043f\u0440\u043e\u0444\u0435\u0441\u043e\u0440 \u0432 <a href=\"https:\/\/ethz.ch\/en.html\" target=\"_blank\" rel=\"noopener\">ETH Zurich<\/a> \u0438 \u0435 \u0440\u044a\u043a\u043e\u0432\u043e\u0434\u0438\u0442\u0435\u043b \u043d\u0430 \u043a\u0430\u0442\u0435\u0434\u0440\u0430\u0442\u0430 \u043f\u043e \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442 \u0432 \u0414\u0435\u043f\u0430\u0440\u0442\u0430\u043c\u0435\u043d\u0442\u0430 \u043f\u043e \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u043d\u0430\u0443\u043a\u0438. \u0411\u0438\u043b \u0435 \u0433\u043b\u0430\u0432\u0435\u043d \u0440\u0435\u0434\u0430\u043a\u0442\u043e\u0440 \u043d\u0430 <a href=\"https:\/\/dl.acm.org\/\" target=\"_blank\" rel=\"noopener\">ACM<\/a> Transactions on Privacy and Security, 2015-2020 \u0433., \u0438 \u043d\u0430 \u043f\u043e\u0440\u0435\u0434\u0438\u0446\u0430\u0442\u0430 \u043a\u043d\u0438\u0433\u0438 \u043d\u0430 Springer-\u200bVerlag \u0437\u0430 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442 \u0438 \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u044f \u043e\u0442 2007 \u0433. \u043d\u0430\u0441\u0430\u043c. \u0422\u043e\u0439 \u0435 \u0438 \u043e\u0441\u043d\u043e\u0432\u0430\u0442\u0435\u043b \u0438 \u0434\u0438\u0440\u0435\u043a\u0442\u043e\u0440 \u043d\u0430 <a href=\"https:\/\/zisc.ethz.ch\/\" target=\"_blank\" rel=\"noopener\">ZISC<\/a>, \u0426\u0435\u043d\u0442\u044a\u0440\u0430 \u0437\u0430 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442 \u0432 \u0426\u044e\u0440\u0438\u0445, \u043a\u043e\u0439\u0442\u043e \u0440\u044a\u043a\u043e\u0432\u043e\u0434\u0438 \u043e\u0442 2003 \u0434\u043e 2011 \u0433. \u041e\u0431\u044f\u0432\u0435\u043d \u0435 \u0437\u0430 \u0447\u043b\u0435\u043d \u043d\u0430 ACM \u043f\u0440\u0435\u0437 2018 \u0433. \u0438 \u0447\u043b\u0435\u043d \u043d\u0430 IEEE \u043f\u0440\u0435\u0437 2021 \u0433. \u0437\u0430 \u043f\u0440\u0438\u043d\u043e\u0441\u0430 \u043c\u0443 \u043a\u044a\u043c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430\u0442\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442 \u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u043d\u0438\u0442\u0435 \u043c\u0435\u0442\u043e\u0434\u0438.   <\/p>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section><section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<div style=\"height:24px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section><section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<p>\u041d\u0435\u0433\u043e\u0432\u0438\u0442\u0435 \u0438\u0437\u0441\u043b\u0435\u0434\u0432\u0430\u043d\u0438\u044f \u0441\u0430 \u0444\u043e\u043a\u0443\u0441\u0438\u0440\u0430\u043d\u0438 \u0432\u044a\u0440\u0445\u0443 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430\u0442\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442, \u043f\u043e-\u0441\u043f\u0435\u0446\u0438\u0430\u043b\u043d\u043e \u0432\u044a\u0440\u0445\u0443 \u043e\u0441\u043d\u043e\u0432\u0438\u0442\u0435, \u043c\u0435\u0442\u043e\u0434\u0438\u0442\u0435 \u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0438\u0442\u0435 \u0437\u0430 \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u0430\u043d\u0435, \u0438\u0437\u0433\u0440\u0430\u0436\u0434\u0430\u043d\u0435 \u0438 \u0432\u0430\u043b\u0438\u0434\u0438\u0440\u0430\u043d\u0435 \u043d\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u0438 \u0438 \u043d\u0430\u0434\u0435\u0436\u0434\u043d\u0438 \u0441\u0438\u0441\u0442\u0435\u043c\u0438. \u0422\u043e\u0439 \u0435 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0438\u043b, \u0441\u044a\u0441 \u0441\u044a\u0442\u0440\u0443\u0434\u043d\u0438\u0446\u0438, \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043e\u0444\u0442\u0443\u0435\u0440\u043d\u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0438, \u0438\u0437\u043f\u043e\u043b\u0437\u0432\u0430\u043d\u0438 \u0432 \u0430\u043a\u0430\u0434\u0435\u043c\u0438\u0447\u043d\u0438\u0442\u0435 \u0441\u0440\u0435\u0434\u0438 \u0438 \u0438\u043d\u0434\u0443\u0441\u0442\u0440\u0438\u044f\u0442\u0430. \u0422\u0435 \u0432\u043a\u043b\u044e\u0447\u0432\u0430\u0442 Tamarin prover, \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u0437\u0430 \u0430\u043d\u0430\u043b\u0438\u0437 \u043d\u0430 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0438 \u0437\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442, \u0441\u0438\u0441\u0442\u0435\u043c\u0430\u0442\u0430 \u0437\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043d\u0430 \u0432\u0440\u0435\u043c\u0435\u0442\u043e \u0437\u0430 \u0438\u0437\u043f\u044a\u043b\u043d\u0435\u043d\u0438\u0435 MonPoly \u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0438 \u0437\u0430 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u043d\u0430 \u0441\u0438\u0441\u0442\u0435\u043c\u0438 \u0437\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442 \u0438 \u043f\u043e\u0432\u0435\u0440\u0438\u0442\u0435\u043b\u043d\u043e\u0441\u0442 \u043f\u043e \u0434\u0438\u0437\u0430\u0439\u043d.  <\/p>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section>","protected":false},"excerpt":{"rendered":"<p>\u041e\u0431\u043b\u0430\u0441\u0442 \u043d\u0430 \u0438\u0437\u0441\u043b\u0435\u0434\u0432\u0430\u043d\u0435: \u043a\u0438\u0431\u0435\u0440 \u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442 \u041f\u0440\u043e\u0444. \u0414\u0435\u0439\u0432\u0438\u0434 \u0411\u0435\u0439\u0441\u0438\u043d (ETH Zurich) \u0441\u0435 \u043f\u0440\u0438\u0441\u044a\u0435\u0434\u0438\u043d\u0438 \u043a\u044a\u043c INSAIT \u043a\u0430\u0442\u043e \u0444\u0438\u043b\u0438\u0430\u043b\u0435\u043d \u043f\u0440\u0435\u043f\u043e\u0434\u0430\u0432\u0430\u0442\u0435\u043b, \u0437\u0430 \u0434\u0430 \u0440\u044a\u043a\u043e\u0432\u043e\u0434\u0438 \u0444\u043e\u0440\u043c\u0438\u0440\u0430\u043d\u0435\u0442\u043e \u043d\u0430 \u043d\u043e\u0432\u0430 \u0433\u0440\u0443\u043f\u0430 \u043f\u043e \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442, \u0443\u043a\u0440\u0435\u043f\u0432\u0430\u0439\u043a\u0438 \u043c\u0438\u0441\u0438\u044f\u0442\u0430 \u043d\u0430 INSAIT \u0434\u0430 \u0440\u0430\u0437\u0432\u0438\u0432\u0430 \u0441\u0438\u0433\u0443\u0440\u0435\u043d \u0438 \u043d\u0430\u0434\u0435\u0436\u0434\u0435\u043d AI. \u041f\u0440\u043e\u0444. \u0411\u0435\u0439\u0441\u0438\u043d \u0435 \u0440\u0435\u0434\u043e\u0432\u0435\u043d \u043f\u0440\u043e\u0444\u0435\u0441\u043e\u0440 \u0432 ETH Zurich \u0438 \u0435 \u0440\u044a\u043a\u043e\u0432\u043e\u0434\u0438\u0442\u0435\u043b \u043d\u0430 \u043a\u0430\u0442\u0435\u0434\u0440\u0430\u0442\u0430 \u043f\u043e \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430 \u0441\u0438\u0433\u0443\u0440\u043d\u043e\u0441\u0442 \u0432 [&hellip;]<\/p>\n","protected":false},"author":12,"featured_media":7305,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-person.php","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-8033","page","type-page","status-publish","has-post-thumbnail","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/pages\/8033","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/comments?post=8033"}],"version-history":[{"count":0,"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/pages\/8033\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/media\/7305"}],"wp:attachment":[{"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/media?parent=8033"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}