Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jan Cederquist
Complexity of Fairness Constraints for the Dolev-Yao Attacker Model
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Dolev-Yao Is No Better Than Machiavelli
Comparing Approaches for Model-Checking Strategies Under Imperfect Information and Fairness Constraints
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Key-Dependent Message Security Under Active Attacks – BRSIM/UC-soundness of Dolev–Yao-Style Encryption With Key Cycles
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Proportional and Maxmin Fairness for the Sensor Location Problem With Chance Constraints
Discrete Applied Mathematics
Combinatorics
Applied Mathematics
Discrete Mathematics
Quantification of Fairness Bias by a Fairness-Equity Model
BMC Neuroscience
Neuroscience
Cellular
Molecular Neuroscience
Channel Aware Scheduling for Broadcast MIMO Systems With Orthogonal Linear Precoding and Fairness Constraints
The Complexity of the Dirichlet Model for Multiple Alignment Data
Journal of Computational Biology
Genetics
Molecular Biology
Computational Theory
Simulation
Computational Mathematics
Mathematics
Modeling
Joint Downlink Base Station Association and Power Control for Max-Min Fairness: Computation and Complexity
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Pattern Analytical Module for EDOS Attacker Recognition
IOSR Journal of Computer Engineering
