Follow
Felix Linker
Felix Linker
Department of Computer Science, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
ADEM: An Authentic Digital EMblem
F Linker, D Basin
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
22023
AGM meets abstract argumentation: Contraction for Dung frameworks
R Baumann, F Linker
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
12019
SOAP: A Social Authentication Protocol
F Linker, D Basin
arXiv preprint arXiv:2402.03199, 2024
2024
ADEM: An Authentic Digital EMblem
D Basin, F Linker
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
2023
Model Checking Information Flow Control Policies on Instruction Set Architectures
F Linker, M Bogdan, J Hoffmann
Erkenntnis und Normativität-Eine Auseinandersetzung mit Platon
F Linker
Industrial Benchmark for Fuzzy Particle Swarm Reinforcement Learning
F Linker
AGM-Style Contraction in Dung-Logics for Argumentation Frameworks
F Linker, G Brewka, R Baumann
The system can't perform the operation now. Try again later.
Articles 1–8