{"title":"第一届可验证数据库系统研讨会","authors":"Tien Tuan Anh Dinh, B. Ooi, Xinying Yang","doi":"10.1145/3555041.3590824","DOIUrl":null,"url":null,"abstract":"Verifiable database systems ensure strong integrity guarantee, that is, the database operations are executed correctly over untampered data. While general-purpose verifiable computation techniques do exist, they suffer from poor performance. Therefore, a practical verifiable database system must make trade-offs between security, performance, and functionalities. This workshop brings together researchers and engineers from academia and industry to discuss ideas and techniques for building such practical systems. The main goals include identifying new abstractions, applications, challenges and solutions related to verifiable database systems.","PeriodicalId":161812,"journal":{"name":"Companion of the 2023 International Conference on Management of Data","volume":"98 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"First Workshop on Verifiable Database Systems\",\"authors\":\"Tien Tuan Anh Dinh, B. Ooi, Xinying Yang\",\"doi\":\"10.1145/3555041.3590824\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Verifiable database systems ensure strong integrity guarantee, that is, the database operations are executed correctly over untampered data. While general-purpose verifiable computation techniques do exist, they suffer from poor performance. Therefore, a practical verifiable database system must make trade-offs between security, performance, and functionalities. This workshop brings together researchers and engineers from academia and industry to discuss ideas and techniques for building such practical systems. The main goals include identifying new abstractions, applications, challenges and solutions related to verifiable database systems.\",\"PeriodicalId\":161812,\"journal\":{\"name\":\"Companion of the 2023 International Conference on Management of Data\",\"volume\":\"98 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-06-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Companion of the 2023 International Conference on Management of Data\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3555041.3590824\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Companion of the 2023 International Conference on Management of Data","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3555041.3590824","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Verifiable database systems ensure strong integrity guarantee, that is, the database operations are executed correctly over untampered data. While general-purpose verifiable computation techniques do exist, they suffer from poor performance. Therefore, a practical verifiable database system must make trade-offs between security, performance, and functionalities. This workshop brings together researchers and engineers from academia and industry to discuss ideas and techniques for building such practical systems. The main goals include identifying new abstractions, applications, challenges and solutions related to verifiable database systems.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
