lovelxc

tx另一款聊天软件tim也是同样的加解密方法，解密的密钥放在com.tencent.tim\files\kc里

更新期刊 IEEE Internet of Things Journal 在 dblp 里的链接 

正如 https://github.com/WenyanLiu/CCFrank4dblp/issues/61 所讨论的，应该增加 Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 这个A刊来代替 UbiComp 这个会议。

关于 CCF none 的显示问题

1

在谷歌学术里，有时候显示 CCF none 是因为dblp暂未收录这个论文，并非代表该论文就不属于 CCF none。 我建议作者将哪些未查询到的论文设置为 Not found 而非 CCF none，这样的标识可能会更好

为什么 ccfRankList 要使用字符串类型而不是二维数组？二维数组不是更不容易出错吗？ 参见以下格式 ``` const ccfRankList = [ ["A", "TOCS", "ACM Transactions on Computer Systems", "/journals/tocs", "/journals/tocs/tocs"], ["C“, "", "IEEE International Conference on Cloud Computing", "/conf/IEEEcloud", "/conf/IEEEcloud/IEEEcloud"], ]; ```

请问是否有论文或组织对密码学原语进行形式化验证

4

如题，许多学者对openssl，boringssl之类的密码学实现进行了原语级别的形式化的验证，那么现有的工作是否对tongsuo进行了这方面的测试呢？

建议标题加上 “毕业论文”，否则似乎无法搜索到这个项目

sdl2_image依赖安装失败

4

系统：debian 12 xmake版本：v2.8.3+20231018, 执行命令`xmake f -a aarch64`时，显示 ``` => install aarch64-smart-musleabi 188177 .. ok => download https://github.com/libsdl-org/SDL_image/archive/refs/tags/release-2.0.5.tar.gz .. ok => install sdl2_image 2.0.5 .. failed ``` 具体报错情况如下： ``` ... mv...