Velasquez, K., Perez Abreu, D., Assis, M. R. M., Senna, C.
, Aranha, D. F., Bittencourt, L. F., Laranjeiro, N., Curado, M., Vieira, M., Monteiro, E. & Madeira, E. (2018).
Fog orchestration for the Internet of Everything: state-of-the-art and research challenges.
Journal of Internet Services and Applications,
9(14), Article 14.
https://doi.org/10.1186/s13174-018-0086-3
Ubys, L., Vancea, V. N.
, Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F. (2022).
Formal Model In-The-Loop for Secure Industrial Control Networks. In
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (pp. 74-89). Springer.
https://doi.org/10.1007/978-3-031-20872-0_5
Troi, A., Jørgensen, B. N., Larsen, E. M., Blaabjerg, F.
, Mikkelsen, G. L., Slente, H. P.
, Madsen, H., Østergaard, J.
, Entwistle, J. M., Nordentoft, N. C., Meibom, P.
, Jacobsen, R. H., Thorvildsen, S. & Jørgensen, U. (2013).
The smart grid research network: Road map for smart grid research, development and demonstration up to 2020.
http://orbit.dtu.dk/fedora/objects/orbit:120708/datastreams/file_593c582c-5f51-4d45-adb4-290c796ad776/content
Trifiletti, R., Nielsen, J. B., Frederiksen, T. K. & Jakobsen, T. P. (2016).
On the Complexity of Additively Homomorphic UC Commitments. In E. Kushilevitz & T. Malkin (Eds.),
Theory of Cryptography - 13th International Conference, TCC 2016-A, Proceedings (Vol. 9562, pp. 542-565). Springer VS.
https://doi.org/10.1007/978-3-662-49096-9
Taverne, J., Faz-Hernandez, A.
, Aranha, D. F., Rodriguez-henriquez, F., Hankerson, D. & Lopez, J. (2011).
Speeding scalar multiplication over binary elliptic curves using the new carry-less multiplication instruction.
Journal of Cryptographic Engineering,
1, 187-199.
https://doi.org/10.1007/s13389-011-0017-8
Taverne, J., Faz-Hernandez, A.
, Aranha, D. F., Rodriguez-henriquez, F., Hankerson, D. & Lopez, J. (2011).
Software Implementation of Binary Elliptic Curves: Impact of the Carry-Less Multiplier on Scalar Multiplication. In B. Preneel & T. Takagi (Eds.),
Cryptographic Hardware and Embedded Systems – CHES 2011 (pp. 108-123). Springer.
https://doi.org/10.1007/978-3-642-23951-9_8
Segal, S., Adi, Y., Pinkas, B.
, Baum, C., Ganesh, C. & Keshet, J. (2021).
Fairness in the Eyes of the Data: Certifying Machine-Learning Models. In
AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (pp. 926-935). Association for Computing Machinery.
https://doi.org/10.1145/3461702.3462554
Scafuro, A.
, Siniscalchi, L. & Visconti, I. (2021).
Publicly Verifiable Zero Knowledge from (Collapsing) Blockchains. In J. A. Garay (Ed.),
Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part II (pp. 469-498). Springer Science and Business Media Deutschland GmbH.
https://doi.org/10.1007/978-3-030-75248-4_17
Riedel, C., Michael, G. G., Orgel, C.
, Baum, C., van der Bogert, C. H. & Hiesinger, H. (2021).
Studying the Global Spatial Randomness of Impact Craters on Mercury, Venus, and the Moon With Geodesic Neighborhood Relationships.
Journal of Geophysical Research: Planets,
126(3), Article e2020JE006693.
https://doi.org/10.1029/2020JE006693
Polychroniadou, A., Damgård, I. B., Garg, S., Mukherjee, P.
, Nielsen, J. B. & Pandey, O. (2016).
On the Communication and Round Complexity of Secure Computation. Institut for Datalogi, Aarhus Universitet.
http://cs.au.dk/fileadmin/user_upload/IvanFest_AP.pdf