111 citations
- Centre National de la Recherche ScientifiqueFR21 papers
- University of BolognaIT21 papers
- A. Alikhanyan National LaboratoryAM20 papers
- AGH University of KrakowPL20 papers
- Arak UniversityIR20 papers
- Babeș-Bolyai UniversityRO20 papers
- Baylor UniversityUS20 papers
- Beihang UniversityCN20 papers
- Benemérita Universidad Autónoma de PueblaMX20 papers
- Boğaziçi UniversityTR20 papers
- Brandenburg University of Technology Cottbus-SenftenbergDE20 papers
- Brown UniversityUS20 papers
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 2 cited
Formal Languages, Formally and Coinductively
Dmitriy Traytel
Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branchi…
cs.CR2016★ 8 cited
Strong and Provably Secure Database Access Control
Marco Guarnieri, Srdjan Marinovic, David Basin
Existing SQL access control mechanisms are extremely limited. Attackers can leak information and escalate their privileges using advanced database features such as views, triggers,…