{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-07 02:17:14.090Z","domain":"infosec.exchange","followerCount":4,"followers":"https://infosec.exchange/users/lmaltsis/followers","following":"https://infosec.exchange/users/lmaltsis/following","followingCount":28,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/114/750/511/709/024/063/original/e6ab0012d9ef44b7.png","id":"6vma7t35d04r807","inbox":"https://infosec.exchange/users/lmaltsis/inbox","iri":"https://infosec.exchange/users/lmaltsis","isLocal":false,"last_fetched":"2025-12-21 17:19:14.343Z","outbox":"https://infosec.exchange/users/lmaltsis/outbox","preferred_username":"lmaltsis","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArpr1uUUubXsG8UKtKr0v\nBCRSuO5aFAZkYtuQKc7KYd4gemapQmkm6Do/gbK9T8tS2QDOoBSjweXg3U03bUf5\n1qWLerkk2PzUH9Tl74WH4lj+kEO3RxKokbxOtFMov3Hz5SlDhupKCJ4qzs6PlNo3\nCfYqlwI/gDQVKQ3kXCBefqxuF9hFamiGnVJ8sseUsaYMpzFxfKSN5nkTnBsNZ1sH\nl7RXp7pA5sBzSRdCDi/+fc5hVQ3k6OQPzxn0NGEegsjaZnz4z+GE3CqihWHCkHUX\n//1ShU1XbqDQWlv+0Rkc14KV3ph9OeImghbTOgc/tPf6MLsfKC1lqcqvOCcHZE0o\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-26 00:00:00.000Z","summary":"

Formal Methods, Proof Assistants, Software Security

they/them

","updated":"2025-12-21 17:19:14.343Z","user":"","username":"Lu Maltsis"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-27 17:49:10.911Z","domain":"mathstodon.xyz","followerCount":425,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":54,"icon":"","id":"oxvayaskim242jg","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-21 17:19:14.549Z","outbox":"https://mathstodon.xyz/ap/users/115553341774279659/outbox","preferred_username":"AndrasKovacs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxKQ61hXO+7JT/kIz03Cu\ntf0HiGsvBUsGXoRLe1UrrbHvmYl1GeLe0oke5XbmzAL7KRg1SE02+ccHqBGL5zkQ\nzBriPrmyyBRlvsSMq5sV519hYd1lKhpYHexSzv3y1fyWXGMPEyA3qGb+ax8GtGCf\nWcaS8eOGv/EO5oXOC/O0mStTxBr2uYvoNPNvNG9m0tV8xEz9pLSx+q0C+/7BxmFj\nfcd/uf14ldXttVBS6hdKdqB/1OfOLLtaaTgPZjHFC35PFEis0QwW9G2VolbzuzbS\n/k0qmO3PsxN7hUmTSSIj+Hr7MBSA1pOYFjA369GBio6kQvbYRdJ0dt5vGtISxA+0\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-11-15 00:00:00.000Z","summary":"

https://andraskovacs.github.io/

","updated":"2025-12-21 17:19:14.549Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-20 22:05:38.336Z","domain":"mastodon.social","followerCount":6,"followers":"https://mastodon.social/ap/users/115395592005915820/followers","following":"https://mastodon.social/ap/users/115395592005915820/following","followingCount":41,"icon":"https://files.mastodon.social/accounts/avatars/115/395/592/005/915/820/original/becc290e32201918.jpeg","id":"w0d0xw90fnrgv7c","inbox":"https://mastodon.social/ap/users/115395592005915820/inbox","iri":"https://mastodon.social/ap/users/115395592005915820","isLocal":false,"last_fetched":"2025-12-21 17:19:14.697Z","outbox":"https://mastodon.social/ap/users/115395592005915820/outbox","preferred_username":"plotfi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo1PMS2ZM4Svx1T3/ubCY\nUCiR9R8ZFqq4rWmJKX78RovE4++tjDG6WW5c4pfLOJtxlMnYelksbJlTeGQwKJX/\nyca80GWL6GuPRCQNqf5Awk7J2QvSx8kZ9eRk4ruSe/nZnj4ZUzABg5YCLPl+zxXR\nP1GIX8TsEF+JIlLUgb7O/dxsTUYlXJdYN+mEZyav77EsXC+MxtiJ1nMDxwKvsbUI\njl0CGfsYfIpsRsQlg+Cm0a1g+Rn73mfqw6NRQC9WqHc3CRF0Vw2xeZE6d1faodqc\nrjbJucqE+t5k1wpKIpxoUTKjE1Ht1E4kzAvRRxinMn9hlXNgmpq9QXDMtE45vyHX\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-18 00:00:00.000Z","summary":"","updated":"2025-12-21 17:19:14.697Z","user":"","username":"Puyan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 17:19:14.805Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/mbmcloughlin/followers","following":"https://mastodon.social/users/mbmcloughlin/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/501/779/821/943/087/original/019cb9fb9cc420cc.jpg","id":"tlzsdiz4541y4lg","inbox":"https://mastodon.social/users/mbmcloughlin/inbox","iri":"https://mastodon.social/users/mbmcloughlin","isLocal":false,"last_fetched":"2025-12-21 17:19:14.805Z","outbox":"https://mastodon.social/users/mbmcloughlin/outbox","preferred_username":"mbmcloughlin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuMWNEvoUnrin4+6wXOtt\njcyp0oIE3QWF7Ck7lDfb2ULtknNBjgKNCbGKBJcE3SPlPx9wJvy+PIJEe12+/Wha\nPSsRVGDftTQMJPcijwBYLKgOQujtgOcQOITMEOLindOA1x8CqYcA4zSEn9hAjgU5\nTe4I3KDthwl49UolzQX/lP67uC5kD/fYxpAb7OghGPuKaX53TOmbcxWwydm78Wx0\niW+eRq+FPP/1sqaDnzhQ2LpZLQP7Lco360U1Jrlgb8DL3A31q2X5JO8SM0p2+c1C\nf5HT+XB4FgVWjwcuDq0du0dveWqdm/SSGzrbXUhGamK1UIlj2gdaV271bfJR9oZ8\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-12 00:00:00.000Z","summary":"

Mathematical Software Engineer

","updated":"2025-12-21 17:19:14.805Z","user":"","username":"Michael McLoughlin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-05 17:50:43.645Z","domain":"infosec.exchange","followerCount":74,"followers":"https://infosec.exchange/users/shravanrn/followers","following":"https://infosec.exchange/users/shravanrn/following","followingCount":175,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/413/223/844/132/943/original/ba26e0552bf85bdb.jpg","id":"5s6f7j7b10ce9io","inbox":"https://infosec.exchange/users/shravanrn/inbox","iri":"https://infosec.exchange/users/shravanrn","isLocal":false,"last_fetched":"2025-12-21 17:19:14.856Z","outbox":"https://infosec.exchange/users/shravanrn/outbox","preferred_username":"shravanrn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4KzXD2bQvuo7rQYjor7h\nG1+z2p8U0UBbeUtpsiPXc30+XuG8pfDRFJdVzfLmbv0ymWitDyCV40Ym23v7hfyL\no+KSmMSpzpnzX+qLFCP2yxpPuQzVSydsD8I+fA2sujT1M6t3iv4paHlTb4ImBXsl\nStRX58WgNnmgQKFc8dT4mjaceQrrecCmjBpkj/BKAkvFu0paa99h9AhSdRhLDUt6\nvZVpf2QS0juatob4nJ6P4okkL+gfgt4BuZD1mcDyxgIMeZFfSwEsp63LFeVClWUV\ndT+PWvV90IuSij5ayzCaU30KU/xGpejn9qu0FqWN5WCD7HK1z2I6RtKXoPXFozME\ngQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-27 00:00:00.000Z","summary":"

Assistant Professor at UT Austin interested in building secure systems, security enforcement using PL techniques, and hardware-based security. Posts/boosts: cybersecurity, cs, tech, academia.

#CyberSecurity #CyberSec #professor #academic #academia

","updated":"2025-12-21 17:19:14.856Z","user":"","username":"Shravan Ravi Narayan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 12:16:40.337Z","domain":"chaos.social","followerCount":712,"followers":"https://chaos.social/users/epilys/followers","following":"https://chaos.social/users/epilys/following","followingCount":299,"icon":"https://assets.chaos.social/accounts/avatars/000/076/941/original/5b64fc8d505d23b5.jpg","id":"62l0796gttd603t","inbox":"https://chaos.social/users/epilys/inbox","iri":"https://chaos.social/users/epilys","isLocal":false,"last_fetched":"2025-12-21 17:19:15.346Z","outbox":"https://chaos.social/users/epilys/outbox","preferred_username":"epilys","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArH5pJVrl36njgkCqcWVr\nUW4rx0iSn79OVIAgdMl+43rgFRi+Dw+XDWPH3U6CsUKChpO891k5sObFrY7I97KI\nc/qzf361pxiTD35QU3es39RMHUrag1V7uwmrAeECtdtvfjqvW+VsapdedUn8f6o2\nI08T8uWpXqI6Lp9wyOVizn4w5ySPRGK3toWXBBopIvDkBzIeZ0mkVnH2gC5nyquw\nL6o2yQy7D8QuZqkIs1UhdmjSh5CEGuDIKLz0TMnIOujKSiWuug4RzEse1j3KrcCI\n0C9K9NKx81iFwnyzr+TutOZLiYg7MsGyU6AgxleGfjlEeRkVBsPJxIaM/mfr6Bum\nAwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-07 00:00:00.000Z","summary":"

Virtualization & Emulation Engineer for Arm systems @LinaroLtd QEMU and rust-vmm contributor.

Previously worked on compilers, filesystems, database internals, distributed systems.
I love strong type systems and type safety, visual arts, typography.

Content and opinions are not my employer's.

https://keyoxide.org/7C721DF9DB3CC7182311C0BF68BC211D47B421E1

EET (UTC+02 or UTC+03 on DST)

PS: έπηλυς means "outlander" in Greek.

","updated":"2025-12-21 17:19:15.346Z","user":"","username":"Manos Pitsidianakis"}],"page":1,"perPage":10,"totalItems":673,"totalPages":68}

mattpd

Seguendo